Class Meeting 7
Notes toward soundness and completeness
Tableau Equality Rules