A proof technique for social choice with variable electorate · Study