digraph Syzygy {
  KQvKB -> KBvK;
  KQvKB -> KQvK;
}