Abstract 

I will explain how the new p-adic geometry developed by Scholze can help prove the Eichler-Shimura relation for Shimura varieties of Hodge type, which has nothing to do with p-adic geometry a priori.