removed unit quantifiers
pre merge commits