Followed by Arrow's impossibility theorem, and we have our cycle