LOG110 Logical theory