k.IterateLastValidatorPowers(sdkCtx, func(valAddr mitotypes.EthAddress, power int64) bool {
    if bondedVals[valAddr] {
        // This validator is still bonded in the active set
        return false
    }

    // This validator is no longer bonded in the active set. So we need to unbond it.
    validator, found := k.GetValidator(sdkCtx, valAddr)
    if !found {
        err = errors.Wrap(types.ErrValidatorNotFound, "validator not found for address %s [BUG]", valAddr)
        return true
    }

    // Remove from last validator powers since it's no longer active validator
    k.DeleteLastValidatorPower(sdkCtx, valAddr)

    // Set the validator as not bonded
    validator.Bonded = false
    k.SetValidator(sdkCtx, validator)

    // Append to validator updates
    abciUpdate, err2 := validator.ABCIValidatorUpdateForUnbonding()
    if err2 != nil {
        err = errors.Wrap(err2, "create abci validator update")
        return true
    }
    validatorUpdates = append(validatorUpdates, abciUpdate)

    // Log the removal
    k.Logger(sdkCtx).Info("Active Validator Set: Unbonded",
        "val_addr", valAddr.String(),
        "val_pubkey", fmt.Sprintf("%X", validator.Pubkey),
        "cons_addr_hex", fmt.Sprintf("%X", validator.MustConsAddr().Bytes()),
        "previous_power", power,
    )

    return false // continue iteration
})

// IsUnbonded implements ValidatorI
func (v Validator) IsUnbonded() bool {
    return !v.Bonded
}

func (k Keeper) handleEquivocationEvidence(ctx context.Context, evidence *types.Equivocation) error {
    sdkCtx := sdk.UnwrapSDKContext(ctx)
    logger := k.Logger(ctx)
    consAddr := evidence.GetConsensusAddress(k.stakingKeeper.ConsensusAddressCodec())

    validator, err := k.stakingKeeper.ValidatorByConsAddr(ctx, consAddr)
    if err != nil {
        return err
    }
    if validator == nil || validator.IsUnbonded() {
        // Defensive: Simulation doesn't take unbonding periods into account, and
        // CometBFT might break this assumption at some point.
        return nil
    }
    ...
}