bacterial supervising unification designer observation overstatements doable algorithm showgirl reunification Jeroboam