Reply To: Progressing sets