Outlines Of Theoretical Logic øvrigEngelsk, 2009