Hi! I have two mutually recursive predicates, which really need the tail recursion optimisation. Does this recursion also happen when there are two or more predicates involved? They both are clearly tail recursive, calling each other. Cheers, Volker