Code comments around the semantics of this will be helpful to other readers of this code.