Anfonwch hwn fel neges destun: TTP: A case study in combining induction and data independence