Local Theory Search

Toggle axioms and watch a small structure change to reduce violations. Drag nodes, and click to flip P or Q.