Reference must distinguish co-extensive predicates to do genuine semantic work, which functions from...