uplifting in IIA.) The type IIB version, on which we shall elaborate in Section 5, has two ingredients (which are mirror dual to those considered in [@vandoren]). To begin with, one turns on only fluxes of RR type, which by themselves break supersymmetry [*spontaneously*]{}, but lead to a runaway potential for the dilaton. This runaway can then be stabilized similarly to [@Kachru] in the presence of suitable non-perturbative effects, and lead to a vacuum with a positive cosmological constant! We will also show that masses of moduli can become much larger than the scale of the cosmological constant in this type of vacua.

A byproduct of our analysis is that the models first constructed in [@wati] in type IIA in fact admit a [*mirror dual*]{} description in terms of a more familiar construction in type IIB. Namely, all the fluxes considered in [@wati] (in their explicit examples, not necessarily the general case) in fact transform under mirror symmetry into ordinary RR and NS-NS three-form fluxes. The mirror transform can be done using the SYZ approach by taking into account that the 3 T-dualities are done along the directions in which there is no $H_{NS}$ flux. This claim might be surprising 