http://krishna.dk/da/a-matter-of-deductive-logic/