Characterizing Progress Properties of