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