I will describe joint work with M. Morrow and P. Scholze on the construction of a new integral cohomology theory for smooth projective schemes over the ring of integers of a p-adic field. The new theory realizes de Rham cohomology as a specialization of etale cohomology (integrally), and thus yields consequences about torsion by semicontinuity.