digraph Syzygy {
  KBBvK -> KBvK;
}