FORWARD PROGRESS (Explicit)

**** EM (Explicit)