logica WS1