i think this kind of induction is the way to go...