digraph Syzygy {
  KQNvKR -> KRvKN;
  KQNvKR -> KQNvK;
  KQNvKR -> KQvKR;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KRvKN -> KNvK;
  KRvKN -> KRvK;
}