TSTP Solution File: CAT018-4 by Nitpick---2016