Laws and Orders

[bo198214]

Concerning the DL, I prefer my "implication", i.e.:
IF a[s]x = x, THEN x = a[s+1]oo

Gianfranco, that is not true!
Take \( a=\sqrt{2} \) and \( x=4 \) then surely \( a[3]x=x \). But \( 4\neq 2 = a[4]\infty \). You can not bend mathematics to suit your wishes.