> ueseful optimisations. Could it also optimise 'teh'='the' to 
> true() at the same time? It would save a lot of grief.
> 

Just supply the required collation, and Saxon will do the rest.

Michael Kay
http://www.saxonica.com/