digraph Syzygy {
  KRvK;
}