Almost done with the proof of the falsification in the canonical model theorem.
Prove that all full sequents are falsified in the canonical model.