Require a.

Parameter d:Set.