Choice quantification in process algebra by