https://numbas.mathcentre.ac.uk/question/11148/ma2178-logikk.zip?