Specifications-Based Grading in an Introduction to Proofs Course. Issue 2 (7th February 2018)