synch
merge
Parsing of quantifiers done