An integral comparison of crystalline and de Rham cohomology | Synapse