Some predicates are transformed internally into ones that provide starting and stopping points and are therefore optimizable.
For details on these and other transformations, see Internal language transformations.
Scripting on this page tracks web page traffic, but does not change the content in any way.