Port-Royal Logic. tr 2010, 4 (1).