simplified ordered-alts!!