Induction on the structure