Зачёт проходит в три занятия.
На первом занятии мы получили одну задачу на всех, и каждый пытался её решить.
На втором занятии мы пытались решить её все вместе, а в коридоре – те из нас, кто получил зачёт автоматом (sic!).
На третьем её нам решал преподаватель; убили на это четыре с половиной часа, и решили, разбив ситуацию на восемь разных случаев с различными методами анализа, и построив отдельное доказательство для каждого.
Теперь для получения зачёта нужно восстановить сегодняшнее решение на листочке бумаги. Damn.