Port-Royal Logic (The Reasoner, 2010)