> you will always get the same result unless the second predicate uses
> position() or last().

explicitly or implicitly - any numeric predicate of course uses position()
implicitly.

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