Show that `forall x, theta (next x) = x` has bad consequences, and an analogous fact with a relation R in place of `=`