digraph Syzygy { KQvKB -> KBvK; KQvKB -> KQvK; }