Why doesn't TrueQ return True here?

*To*: mathgroup at smc.vnet.net*Subject*: [mg119737] Why doesn't TrueQ return True here?*From*: Jacare Omoplata <walkeystalkey at gmail.com>*Date*: Sun, 19 Jun 2011 19:29:26 -0400 (EDT)

Here's the output. ------------------------------------------------------- In[29]:= Element[{t1, t2}, Reals] Out[29]= (t1 | t2) \[Element] Reals In[30]:= $Assumptions = t2 > t1 Out[30]= t2 > t1 In[31]:= TrueQ[(t2 - t1) > 0] Out[31]= False ------------------------------------------------------ I would expect TrueQ to return True, not False. Why does it return False? And how can I test whether t2-t1 is positive? Thanks.

**Follow-Ups**:**Re: Why doesn't TrueQ return True here?***From:*DrMajorBob <btreat1@austin.rr.com>