I agree with your general point, but the part about Arrow's Impossibility Theorem is kind of nonsense. Arrow's Impossibility Theorem is a really specific provab

I agree with your general point, but the part about Arrow's Impossibility Theorem is kind of nonsense. Arrow's Impossibility Theorem is a really specific provable statement about voting systems based on ranked preferences. You can't just change the conditions around freely and and there are certainly many sets of criteria that a ranked voting system can satisfy.