Anfonwch hwn fel neges destun: Model theory of Shimura varieties