If you are at the lecture, please meet Prof. Michaelis outside afterward, in front of the chapel, to sign out for extra credit.