Remove explicit quantification