(* b2 -> b1 -> b -> c *)

Parameter b2:Set.