 are different, and hence (a) and (b) are compatible, even assuming that \(s_2\) and \(c_2\) are identical. (It should be emphasized that counterpart theory is not the only means of obtaining Abelardian predicates. See Noonan 1991.)