Reducibility then says that for every function of whatever order, there is an equivalent function of the same type (taking the same type of arguments) of lowest order compatible with that type (so here for (a) there is (b) -- and we are guaranteed some such (b) even if we do not know a property like "Democrat" shared by only Bob and Bill but not Joe).