Connecting and resolving Sen's and Arrow's theorems

It is shown that the source of Sen's and Arrow's impossibility theorems is that Sen's Liberal condition and Arrow's IIA counter the critical assumption that voters have transitive preferences. But if the procedures are not permitted to treat the transitivity of individual preferences as a valued input, then we cannot expect rational outputs. Once this common cause for these perplexing conclusions is understood, these classical conclusions end up admitting quite benign interpretations where it becomes possible to propose several resolutions.