Just a few inductive left