Law of Identity Strictly as "P"