4.4.1 Help! Proving is difficult!
Yes, it is. Check out SectionÂ
3.4.5
to begin using the provers.