Use a law factory to create laws, and use preface for easier writing.
Fixed trials, they now check laws were broken before punishing.
Updated licenses in file headers.
Added support for law inversion when added to a legislature. Abstracted concept of making laws to a PSTLawMaking protocol, implemented by factories.
Law, not matcher.
Added identity law.
Group breaking methods into PSTBreaking, and use abstract PSTLaw class.
Again, law, not matcher.
Test the concrete class.
Added PSTLessLaw.
Test explanations for breaking PSTEqualityLaw.
Test explanations for breaking identity law.
Added functional specs for identity checks.