digraph Syzygy {
  KRNvKB -> KBvKN;
  KRNvKB -> KRNvK;
  KRNvKB -> KRvKB;
  KRvKB -> KBvK;
  KRvKB -> KRvK;
  KRNvK -> KNvK;
  KRNvK -> KRvK;
  KBvKN -> KNvK;
  KBvKN -> KBvK;
}