15-317 Constructive Logic - Spring 2017 : Sheet2