A tutorial on how to use CPCTC in a proof! Check us out @ http://www.williamseducation.com/