sounds like you may have read this:

rangevoting.org/AppCW

arrow's theorem really only makes sense applied to social welfare functions, not voting methods. you use the correct social welfare function in your VSE measures, which itself can avoid IIA altogether by being cardinal.

rangevoting.org/UtilFou…