The first assumption is only satisfied close to the start of a run.

• 第一种假设只是在操作刚开始时才能满足。