Of course, such necessary and sufficient conditions must be of a psychologically satisfactory kind, and we should not, for example, want a theorem which merely said, perhaps in a slightly disguised form, that a graph has a Hamiltonian circuit if and only if it has a Hamiltonian circuit.
Tietenkin, tällaiset tarvittavat ja riittävät edellytykset täytyy olla psykologisesti tyydyttävä laatuaan, ja meidän ei pitäisi esimerkiksi halua lause, joka vain sanoi, ehkä hieman peitelty muoto, että kuvio on Hamiltonin operaattori kiertoon, jos ja vain jos se on Hamiltonin operaattori kiertoon.