Can you add a comment about the semantics of this function?