digraph Syzygy {
  KQvK;
}