https://numbas.mathcentre.ac.uk/question/11147/ma217-logikk.zip?scorm=