Trouble with Program Correctness. Can't seem to find the invariant? Then come to this support lecture, where we will practice for the exam. We will try to give you a different insight.
NB: due to personal circumstances with the lecturer, we had to redesign the event last minute. We no longer have an expert on the course, so we'll try to facilitate a working moment-like group activity where you can help each other. If this does not appease to you, we apologize for this short-term cancellation.