Instructor writing a proof on a whiteboard