The world of ideas is not revealed to us in one stroke; we must both permanently and unceasingly recreate it in our consciousness. — René Thom
This is a note on Kevin Buzzard and Toby Gee's paper Explicit Reduction Modulo p of Certain 2-Dimensional Crystalline Representations I, 2009. The process of writing this was useful, whether it will serve any other purpose is unclear.