Characteristic predicate Exprs::False::False

False()