X = X + 1

this makes it obvious why theoretical math and theoretical computer science cannot co-exist.