delayed sequence induction

see also:

Introduction