什么 nt 翻译，明明是 $f(l,r)$ 为所有满足……………………，这翻译怎么翻成了 $f(x,y)$ 为所有满足…………………………