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