simple wrapper induction

this is for #2