H_xi idempotency note