Invia SMS: Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving