 Another argument for univocal predication is based on an argument from Anselm. Consider all predicates, Anselm says. Now get rid of the ones that are merely relatives, since no relative expresses the nature of a thing as it is in itself. (So we’re not talking about such predicates as “supreme being” or “Creator,” since even though those properly apply to God, they don’t tell us anything about what God is in himself, only about how he is related to other things.) Now take the predicates that are left. Here’s the test. Let F be our predicate-variable. For any F, either