Talk:Modus Ponens generalized

Hi Emmanuel,

could you please add a category to this page. You can find a list of the category used at Special:Categories. You may want to use the "Design proposal" category for instance, by adding the following to the end of the page :

[[Category:Design proposal]]

mathieu 08:31, 5 May 2011 (UTC)