Answers to questions 4,5,6 of 3.1. Proof Strategies