TSTP Solution File: REL016-10 by Nitpick---2016