digraph Syzygy {
  KNNNvK -> KNNvK;
  KNNvK -> KNvK;
}