One of the main difficulties lies in proving the existence of orbits shadowing random iterations of the inner and outer maps. Shadowing results can be achieved using different tools: variational methods (see, for instance, [1]}, [2]}, [3]}), modern versions of the Lambda lemma [4]}, [5]}, [6]}, or with topological techniques such as the the correctly aligned windows method.
