Symbolic logic. 2Pts in one. - Carroll Lewis (1977)