  We provide a simple approach for the crystalline comparison of
Ainf-cohomology, and reprove the comparison between crystalline and p-adic
etale cohomology for formal schemes in the case of good reduction.
