digraph Syzygy {
  KQvKR -> KRvK;
  KQvKR -> KQvK;
}