3.5-compactness-iii.mp4