  So far, we have been discussing Frege’s analysis of ‘atomic’ statements. To complete the basic logical representation of thoughts, Frege added notation for representing more complex statements (such as negated and conditional statements) and statements of generality (those involving the expressions ‘every’ and ‘some’). Though we no longer use his notation for representing complex and general statements, it is important to see how the notation in Frege’s term logic already contained all the expressive power of the modern predicate calculus. 