Arrow's and Gibbard-Satterthwaite's Impossibility Theorems Revisited