Group Meeting: Markus presents the last part of his Gregynog lecture on proving completeness for propositional logic.