I will concern myself primarily with the type type identities, and the philosophers ill question will thus be immune to much of the discussion; but I will mention the other kinds ofidentities briefly.