Requirements and Induction