digraph Syzygy {
  KQvKQ -> KQvK;
}