~ fact_body_preserves_invariant.