Equivalence of positive hausdorff measure and the open set condition for self-conformal sets

A compact set K is self-conformal if it is a finite union of its images by conformai contractions. It is well known that if the conformai contractions satisfy the "open set condition" (OSC), then K has positive sdimensional Hausdorff measure, where s is the solution of Bowen's pressure equation. \Ve prove that the OSC, the strong OSC, and positivity of the s-dimensional Hausdorff measure are equivalent for conformai contractions; this answers a question of R. D. Mauldin. In the self-similar case, when the contractions are linear, this equivalence was proved by Schief (1994), who used a result of Bandt and Graf (1992), but the proofs in these papers do not extend to the nonlinear setting.