Concept progress selection in spec