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