Pair of Distinct Objects

> […], the fact that the virtual machine answers `true` or `false` is the result of some arbitrary Choice. As such, we can separate the act of answering two different things (the actual answer) from the actual things being answered (how the answer is labelled for our convenience).