STRATEGYPROOFNESS IN THE LARGE 1 1 Introduction