digraph Syzygy { KRBBvK -> KBBvK; KRBBvK -> KRBvK; KRBvK -> KBvK; KRBvK -> KRvK; KBBvK -> KBvK; }