# Is the expression (pi > 0) lazy evaluated?

[Absolute beginner here.]

The expression $pi > 0$ has the type `sage.symbolic.expression.Expression`

. How can I force the evaluation and get the result `True`

.

Also, as per the question title, can you please point me to a reference on the evaluation model in Sage?