digraph Syzygy {
  KNNvK -> KNvK;
}