Obviously a formal verifier metamath, and a corresponding database like set.mm but law.mm containing all the normative statements etc would have to be supported by an ecosystem, such an ecosystem should reward finding inconsistencies, since if we tolerate just one inconsistency (which would correspond to true == false) then every statement provably true can be proven false and vice versa, this is the principle of explosion: a formal system loses every meaning when an inconsistency is present, hence an ecosystem maintaining the law would encourage finding inconsistencies instead of swiping the arbitrarianism under the rug.