Use implicit quantification