lecture: lecture 16: add structure to State