Choice quantification in process algebra door