Invited lectures from the 13th International Congress on Mathematical Education