edit lecture: lecture 17: start error state