It is futile to demand an a priori proof of the existence of objects which are not immediately ‘given’.
The key to performance is elegance, not battalions of special cases.
Simplicity is prerequisite for reliability.