https://numbas.mathcentre.ac.uk/question/42939/simon-s-copy-of-basic-set-theory-element-not-in-a-set/embed/