Added synonym for Equality Proofs.