SubHask's automated testing of laws
github.com