removed unit quantifiers