It is futile to demand an a priori proof of the existence of objects which are not immediately ‘given’.
The most important single aspect of software development is to be clear about what you are trying to build.
推理小说的结局往往出人意料,却又在情理之中。