In particular, favor predicative form over nominal description of the set
parameter. This is more globally consistent.