digraph Syzygy {
  KQNvKQ -> KQvKN;
  KQNvKQ -> KQNvK;
  KQNvKQ -> KQvKQ;
  KQvKQ -> KQvK;
  KQNvK -> KNvK;
  KQNvK -> KQvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
}