https://numbas.mathcentre.ac.uk/question/42691/equivalence-rules-3.zip?