>The formally-verified int vv v vv ernally-consistent always-righteous version of the law is ... Always righteous wasn't required by OP, but ideally

>The formally-verified int vv v vv ernally-consistent always-righteous version of the law is ... Always righteous wasn't required by OP, but ideally it's a mere consequence of consistency. If you preclude Consistency, the apriori