Require b2.

Parameter b1:Set.