https://numbas.mathcentre.ac.uk/question/10591/quantifiers1.zip?