Incentive_compatibility loading ...