Make ifThenElse explicit