https://5dok.org/document/zpn62mj4-mve-proofs-theory-questions-julie-rowlett.html