Checking in forward progress