Characteristic predicate Exprs::True::True

True()