A stab at counterexample-driven testing of meta-theoretic properties.