  The goal of this short paper is to give a slightly different perspective on
the comparison between crystalline cohomology and de Rham cohomology. Most
notably, we reprove Berthelot's comparison result without using
pd-stratifications, linearisations, and pd-differential operators.
