If then else and unevaluated conditionals



Hi,

I am sort of wondering there should not be two different if then else's.
One which
is a programming construct and which is handled by meval, and one which it
a  "mathematical concept" and which is handled by the simplifier.
Unevaluated conditionals should go into the latter and not into the
former I would
say.

The mathematical if then else could simpy be if(expr1,expr2,expr3).

Or am I wrong and should there be only one concept?

Michel