It must be ∀ x1 (y2(x1) ∨ x2(x1))

to confirm with your encoding. ]]>

not true it works in base 26, 50, 82 you didn't even look at the math or rodin's lecture you took a small portion out and ran with it to prove to yourself his math is flawed... most of these comments are insults name calling and not contribute to an scientific debate.

]]>http://new-relativity.com ]]>

e^{i\tau} + -1 = 0

]]>