Higman: capitalizing the names of predicates.