x:=relation{ 
tuple{  x 2}} -- nice