https://numbas.mathcentre.ac.uk/question/122352/tl-s-copy-of-equivalence-rules-1.zip?