Proving Constructions.pdf