Proved progress for step and apply_k.