“The relation of loving contains exactly those ordered pairs such that d loves e. This relation is presumably not reflexive on the set of all persons: some people do not love themselves. Much grief is caused by the fact that this relation is not symmetric....”