The 17th commit of june_july_agenda.md