Can anyone give a road map for how Bhatt-Scholze's fancy recent p-adic work applies to questions in more general algebraic geometry and commutative algebra? I'm aware that it does, following [Andre][1], but I still don't really get how the full picture works. My question is simple, but broad: How and when do broad problems in algebraic geometry reduce to p-adic problems which can be attacked using these methods? Moreover: which problems can't be attacked this way? Why? [1]: https://arxiv.org/abs/1609.00345