Partial identity accounts need not derive reals from pure identity; they can posit primitive orderin...
This proposition has not been edited since the history system was added.