logic statements & quantifiers
See more