09_Lecture 5 Specifying questions for EKE.pdf