Αποστολή με SMS: Induction in component-based software synthesis