A law's being strict depends on its predicates' physical realizability, not whether they're labeled ...
This proposition has not been edited since the history system was added.