Finished checkpoint writeup