The goal of this example is to demonstrate a language where some choices in an ValueState are terminal, and others are not.