add proofs, but ignore them (not allowed to publish them here)