Session 17. Defensive Compactness