forward-progress documents