The Algebra of Equality Proofs