Hardness of computing and approximating predicates and functions with leaderless population protocols.