now quantifiers support async chains!