In prior sections: assignment valuation formula satisfaction formula falsification sat lemmas sequent satisfaction sequent falsification sequent sat lemmas full sequent assignment