Laws only become determinate through formalization; different formalizations yield different 'laws' ...
This proposition has not been edited since the history system was added.