https://numbas.mathcentre.ac.uk/question/42649/equivalence-rules-1.zip?