digraph Syzygy {
  KQRvKR -> KRvKR;
  KQRvKR -> KQvKR;
  KQRvKR -> KQRvK;
  KQRvK -> KRvK;
  KQRvK -> KQvK;
  KQvKR -> KRvK;
  KQvKR -> KQvK;
  KRvKR -> KRvK;
}