added premises and conclusins for chapter 4 questions