https://numbas.mathcentre.ac.uk/question/26906/daniel-s-copy-of-statements-with-quantifiers-and-their-negations/embed/