november utc by lattier's manip demanip theorem i can show that operations with remain meaningless let x x then we demanipulate x hence is not demanipulable and thus it remains meaningless qed