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