Comments by "" (@TheDavidlloydjones) on "The unexpectedly hard windmill question (2011 IMO, Q2)" video.