Bản ghi email: Generic Fibrational Induction