If Expr is true, this evaluates and returns TrueExpr. Otherwise, it evaluates and returns FalseExpr.