"2 2=7" does not exist.