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