formulas(normalised_latin_square).
  all y f(0,y)=y.
  all x f(x,0)=x.
end_of_list.
