One-Level Truth Predicate

Doesn't allow "Alice says Bob says Fred says..."