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 tautology?