More prismatic cohomology

 I'll continuing going through Bhatt's lectures, most likely saying something about the crystalline and Hodge-Tate comparison theorems.