Manfred comments on Efficient Induction