Added automatic proofs.
Added automatic proofs.