For any two formula φ and ψ, if φ does not entail ψ, then ψ entails φ