digraph Syzygy {
  KBBvKB -> KBvKB;
  KBBvKB -> KBBvK;
  KBBvK -> KBvK;
  KBvKB -> KBvK;
}