LT 12: Verifying Identities