In Church's system, as I have said, there is in effect a similar fudge, since the different symbols in the infinite sequence do systematically resemble each other in the subscripting system, but in fact are completely independent, as Davidson rightly emphasizes.