add natural numbers and first proofs