Interim Rationalizable Monotonicity, due to Oury and Tercieux (2012), fully characterizes the class of social choice functions that are implementable in interim correlated rationalizable (and Bayes-Nash equilibrium) strategies