Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Maybe...but if there is a solution that lands in $W$ and another one that avoids it I don't see how we could use the theorem 1.8 of [3] to conclude anything on how complicated these solutions are.
