The group lecture this Wednesday will instead focus on
the prolog part from exam 2011 and the theory part from exam 2015
--Morten