Here \(A_{1:m,2\ell}\) denotes \(A\) with the first column removed. Note that we are setting \(m=\ell-1\). This is the minimum number of query-answer pairs that we need. If we have more (i.e., \(m\geq\ell\)), then the system is overdetermined. Having the system be overdetermined is a good thing; the extra answers can help us recover the logprobs with greater accuracy.