r/types•15 yr. agoroconnorLearning to Use Free Theorems with Classr6research.livejournal.com/23402.htmlr6research.livejournal.comPosted Nov 3, 2010, 10:35 PM UTC70Share