Rework the wording of checking whether an associated function is satisfied. Candidate/nominee sets are still a mess, but are getting better