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