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