digraph Syzygy {
  KBvK;
}