  String theory has few or no stable nonsupersymmetric or de Sitter vacua, only
metastable ones. Antibranes are a simple source of supersymmetry breaking, as
in the KKLT model, but various arguments have been given that these fail to
produce the desired vacua. Proper analysis of the system requires identifying
the correct effective field theories at various scales. We find that it
reproduces the KKLT conclusions. This is an expanded version of a talk
presented at SUSY 2015, Lake Tahoe.
