See Controlled Introduction.