Started implementing quantifiers