Re: [IMP-dev] Ordering among score_states (and other things)