c
LawSpecMacros
catalysts
root
check
LawChecker
checkAllLaws
LawChecks