https://numbas.mathcentre.ac.uk/question/42802/propositions-with-negative-marking.zip?