https://numbas.mathcentre.ac.uk/question/11827/quantifiers-2.zip?