A math enthusiast and creator of DC Proof, an educational freeware program to introduce students to the basic methods of proof. Visit my math blog.