The Identity of Individuals in a Strict Functional Calculus of Second Order