Correct implementation v.s. different type of pauses