inductive
nothing to see here yet