User talk:72.251.70.97

Your recent changes to type theory and natural deduction are not idiomatic English, but seem to be a translation from another vernacular. Why don't you pause for a while to let the changes sink in, and perhaps be accepted? --Ancheta Wis   (talk  &#124; contribs) 04:53, 7 June 2015 (UTC)