Groups solve a problem three times — first with heavy constraints, then with constraints progressively removed — to reveal hidden assumptions.