inductive

nothing to see here yet