Notes for forward progress