A simple proof checker for use in introductory logic courses..