2010. Port-Royal Logic. The Reasoner. 4, 1 (Jan. 2010).