digraph Syzygy {
  KQQvK -> KQvK;
}