ws ≤ n

0 ws n ws+n
↓ ↓ ↓ ↓

ws > n

0 ws-n n ws
↓ ↓ ↓ ↓