906 Two 35 necessary 322 conditions 11380 for 18 strategy-proofness 8351 on 519 what 81 domains 667 are 159 they 27 also 1 suffices