Eliminability from one explanation doesn't entail non-existence; mathematical objects are irreplacea...
This proposition has not been edited since the history system was added.