inductive patterns