, 18 November 2006 (UTC)

By Lattier's manip/demanip theorem, I can show that operations with 0 "remain meaningless".
Let x = 2.  0 * x = 0.  Then we "demanipulate", x = 0/0.  Hence, 0 is not "demanipulable", and thus it remains meaningless. QED.  16:24