Pošljite SMS: Model theory of Shimura varieties