Quiz 7 Solutions in Logic Works