TLP++truth+and+logic (1).doc