digraph Syzygy {
  KQBBvK -> KBBvK;
  KQBBvK -> KQBvK;
  KQBvK -> KBvK;
  KQBvK -> KQvK;
  KBBvK -> KBvK;
}