Obviously, in the normal lecture environment close scrutiny of actions
and statements is hard (or impossible) to achieve.
The desired formula, as written on the overhead projector at twenty-six
minutes and thirty-one seconds into the lecture.
The same formula being specified in Microsoft Word using a live demonstration
of software use at twenty-seven minutes and six seconds into the lecture.