delta-inductions