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 | contribs) 04:53, 7 June 2015 (UTC)
 | This is the discussion page for an IP user, identified by the user's IP address. Many IP addresses change periodically, and are often shared by several users. If you are an IP user, you may create an account or log in to avoid future confusion with other IP users. Registering also hides your IP address. |