finished 3.1 & 3.2 - truth & nil punning