general_impossibility_theorem