Ok, quantifiers are parsing now ... but cannot be passed into the verifier.