²¹We have also assumed that $2 (∇t+1)$ is ‘small’.