SMS versenden: Model theory of Shimura varieties