x=y, x=x
     2+2 = 4 is this the result of a
calculation or isn't it. If not it is a
definition & how could this be a tau-
tology?