We can assume that k < n < m here.