ah... so it is a 'find-a-recursion' which fails then if substitution is not done for all instances at once... cool ;-)