partial sort quantified