Simplify
An attempt to prove first-order formulas
An attempt to prove first-order formulas
