The video session on the Demorgan's theorem.