Does basic epsilon delta proofs.