digraph Syzygy {
  KQQvKN -> KQvKN;
  KQQvKN -> KQQvK;
  KQQvK -> KQvK;
  KQvKN -> KNvK;
  KQvKN -> KQvK;
}