The impossibility theorems of Arrow and Gibbard-Satterthwaite have been
thought to rule out economic democracy and welfare economics. This paper
demonstrates an information processing system which accords with the
premises of these authors, and, consequently, proves their conclusions
of impossibility to be untrue except as mathematical tautologies.