Solve for x x-(-1)=3