added quantificators
merge fix