 George Boolos (1991) observes that we have an autonomous case against the induction step. In addition to implying plausible conditionals such as ‘If a 1 day old human being is a child, then that human being is also a child when it is 2 days old’, the induction step also implies ludicrous conditionals such as ‘If a 1 day old human being is a child, then that human being is also a child when 36,500 days old’.