Change "pour chaque" to "pour tout" to avoid confusion - edo q4