The question is whether the option for the headlease counts as a headlease for this purpose...