digraph Syzygy {
  KRBvK -> KBvK;
  KRBvK -> KRvK;
}