extension of identities principle