For any two formula φ and ψ, if φ ⊧ ψ, then ψ ⊧ φ?