Add proofs we get from adequateSum