https://numbas.mathcentre.ac.uk/question/11146/ma219-logikk.zip?scorm=