quan: 'any' and 'all' vararg Boolean quantifiers.