Axiom Loom

Pick relation axioms and watch a finite graph rewrite itself to fit them. Tension and ghost edges show where the theory still pulls.