Add Quantifiers.agda