$forall (Entity courseId course) <- entCourses
   ^{courseSummary (Entity courseId course)}