The nonwandering set of some Henon map

For the Henon map T-a,T-b (x, y) = (1 - ax(2) + y, bx), Benedicks and Carle son proved that for (a, b) near (2, 0) and b > 0, there exists a set E with positive Lebesgue measure, whose corresponding map T-a,T-b possesses a str ange attractor. Viana conjectured that if (a, b)is an element of E, then th e nonwandering set of the map T-a,T-b, Omega ( T-a,T-b) = boolean AND(a,b)b oolean OR \q(a, b)}, where boolean AND(a, b) is the strange attractor, q(a, b) is a hyperbolic fixed point in the third quadrant. It is proved that th is conjecture holds true for a positive measure set E-1 subset of E.