If no privileged singleton function exists, universal quantification over all eligible candidates co...