allocation rules and dominant strategy implementation 1332160