digraph Syzygy {
  KNvKN -> KNvK;
}