Completed documentation of State