The indiscernibility of identicals is incompatible with geach's theory of 'relative' identity, But consistent with the view that x is identical with y iff x is the same a as y, For some count-Noun 'a'. 'x is the same a as y' expresses identity only if x is an a, Otherwise it is merely an equivalence relation.