The 'distributive/non-distributive' distinction itself needs independent justification—it may simply...
This proposition has not been edited since the history system was added.