a better name for this function, and a corresponding better comment