P
Initializing...
Truth lemma for the finite canonical model. · Prove2Me