If middles constrain substitution, they introduce hidden semantic entities that undermine Ockham's p...
This proposition has not been edited since the history system was added.