
Lubarsky's Law of Cybernetic Entomology:
        There's always one more bug.

Relation validity checking is not complete.
