Protected-area planning in the Brazilian Amazon should prioritize additionality and permanence, not leakage mitigation. (August 2020)