§
Mechanical Theorem-Proving by Model Elimination [WIP ]
A simplified format for the model elimination procedure