digraph Syzygy {
  KBvKB -> KBvK;
}