Advice and answers from the Proof Team