One way of looking at Impossibility Theorem is that we proposed some criteria for what a good system should be: what is it you want from a voting system, and impose some conditions. And then ask: can you have a voting system that guarantees that?