digraph Syzygy { KRRRvKB -> KRRvKB; KRRRvKB -> KRRRvK; KRRRvK -> KRRvK; KRRvK -> KRvK; KRRvKB -> KRvKB; KRRvKB -> KRRvK; KRvKB -> KBvK; KRvKB -> KRvK; }