Non turing-complete statements, except for this one.