answers ch3

what's postcondition ... so hard