TSTP Solution File: ITP237^4 by Nitpick---2016