Ghost free Massive Gravity in the St\"uckelberg language

Massive Gravity in four dimensions has been shown to be free of the Boulware-Deser (BD) ghost in the ADM language for a specific choice of mass terms. We show here how this is consistent with the St\"uckelberg language beyond the decoupling limit, and how the constraint required to remove the BD ghost arises in this framework nonperturbatively, without the use of field redefinitions. We emphasize a subtlety in obtaining this constraint, that has been overlooked in previous literature. In both the ADM and St\"uckelberg formalisms the vanishing of the determinant of a Hessian guarantees the absence of the BD ghost.