The constructions of $p$-adic cohomology (e.g. rigid and crystalline cohomology) for smooth varieties are motivated by the construction of de Rham cohomology of arbitrary varieties in characteristic 0. I will explain the characteristic 0 story -- from the basics of de Rham cohomology to Grothendieck's crystals, a differential free way to study de Rham theory.