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