Progress and Formal Discussion