no
DLP
for
x-1
[]
x-1