Strict laws require predicates with determinate boundaries and exceptionless covering conditions tha...
This proposition has not been edited since the history system was added.