lawproof
not defined yet