If statements are formulated entirely within a first-order language for the reals, then they are tru...