أرسل هذا في رسالة قصيرة: TTP: A case study in combining induction and data independence