Advanced Identities and Proofs Targets