A few thoughts on Infinite Progress