n [ 10139 .]