Let S be a compact orientable surface, and Mod(S) its mapping class group. Then there exists a constant M(S), which depends on S, with the following property. Suppose a, b ∈ Mod(S) are independent (i.e., [a, b] 6= 1 for any n,m 6= 0) pseudo-Anosov elements. Then for any n,m ≥ M , the subgroup 〈a, b〉 is free of rank two, and convex-cocompact in the sense of Farb-Mosher. In particular all nontriv...