 Let us call (neo-)Fregean abstraction principles (like HP) that seek to specify the truth conditions of identities involving two distinct abstractive terms (involving the same abstraction operator @) double-abstraction principles. (Contrasting single-abstraction principles for identities will be discussed  shortly.)[14]  Double-abstraction identity principles have the general form 