t means reaching a ‘stuck state’ that is not designated as a final value but where the evaluation rules do not tell us what to do next.” Earlier in the book, Pierce discusses stuck states in a bit more detail, and equates them with runtime errors.