Notes on the mysterious functor, the connection between p-adic étale cohomology and crystalline cohomology