+ Solving by making irrelevant