Update Mathys Requiement notes.tex