I'm not sure if the students will understand the "option" of `check` or `on-demand`.  Perhaps two lines of examples?