A social choice function is robustly implementable if there is a mechanism under which the process of iteratively eliminating strictly dominated messages leads to outcomes that agree with the social choice function for all beliefs at every type profile. In an interdependent value environment...