 It is worth recalling that Lewis (1997) assumed IDT with a view to bolstering Martin’s counterexamples to SCA. But it has come to light that IDT is false. Does this necessitate that Lewis fails to bolster Martin’s counterexamples? Choi (2009) answers this question in the affirmative.