arrow_s_impossibility_theorem