Computer-aided proofs of Arrow's and other impossibility theorems · Study