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