Predicate logic greatly lacks the quantifier of surprise.