This seems an implementation detail, maybe we should omit this first sentence and keep others.