Perfectoid algebras and spaces are fundamental objects in modern p-adic geometry. However, many of the foundational results about them are only true "up to almost mathematics". By contrast, passing to Banach ultraproducts can eliminate this ?almost?. Our aim is to identify the structural properties of these Banach ultraproducts that make this possible. Joint work in progress with Franziska Jahnke.