“…One exponent will simply be the Lyapunov exponent of the one-dimensional map, and the other will reflect the rate of contraction or expansion transverse to A for the two-dimensional map. This planar map, originally studied in [12], has been of great interest recently as a fundamental example of the phenomenon of "riddled" and "intermingled" basins of attraction [2,1]. In order to verify mathematically the properties of this map which were discovered with a computer, it is necessary to verify that the "transverse" Lyapunov exponent for A is negative, which in particular implies that A attracts a set of positive Lebesgue dimensional measure.…”