image Equation (50Popup Equation) is an identity up to a term involving the Lie derivative of the twist of the first Killing field with respect to the second one (since image). In order to establish image it is sufficient to show that k and m commute in an asymptotically flat spacetime. This was first achieved by Carter [27] and later, under more general conditions, by Szabados [170].