don't need induction
forgot to add pullback.v?
comments about module "multiple inheritance" issues