Statements may be combined or negated while remaining statements: if and are assertions, so are , , and , as well as the implication , read “if then “. A statement may also include quantifiers, especially “for all” and “there exists”, as in .