digraph Syzygy {
  KRvKR -> KRvK;
}