Presupposing bounded overhead risks circularity: we assume what space hierarchy aims to establish ab...
This proposition has not been edited since the history system was added.