16th commit to june_july_agenda.md