digraph Syzygy {
  KNvK;
}