a New Logic by Charles Mercier