Theorem Proving for Dummies