Qualifying decision procedures