A System of Logic. tr 2009, 3 (10).