Category-Based Induction
Ad hoc categories