(Also, it might be "smoother" to mention that we're going to be storing `int`s in the text.)