Universal Extensions and One Dimensional Crystalline Cohomology by Bas Mazur