induction from data

induction from data