https://numbas.mathcentre.ac.uk/question/66858/taking-different-names-for-free-variables.zip?scorm=