discrete-structures-ws22-sheet-7