https://numbas.mathcentre.ac.uk/question/91006/logical-equivalence-proof.zip?