Predicates, Operators, and Case Expression