" WS [ 832 .]