What does a countermodel establish?

The Fourth Figure: Productive Conditions, Moods and Proofs