Proofs in Rich Theories