\ [ 2259 .]