Seol mar théacs é seo: The psychology of proof :