Quantified
ast