Arreglado el problema para TrueExpr