digraph Syzygy { KBBvKN -> KBvKN; KBBvKN -> KBBvK; KBBvK -> KBvK; KBvKN -> KNvK; KBvKN -> KBvK; }