If there is no solution, it's because there is no problem