aernoudt-jacobs-induction-series-1