https://numbas.mathcentre.ac.uk/question/16566/statements-with-quantifiers-and-their-negations/embed/