arrow’s theorem is about social welfare functions not voting methods. once you have the correct social welfare function (https://www.rangevoting.org/UtilFoundns) you use it to perform voter satisfaction efficiency calculations on your voting method, and it doesn’t matter what properties it obeys. https://www.rangevoting.org/PropDiatribe
approval voting does perform quite well indeed.
anscombe’s paradox.
https://www.rangevoting.org/XYvote