https://9dok.net/document/q5m3kk07-class-exercises-lecture-logics-sheet-roland-meyer-discussion.html