Solve for the unknown: x -3 = 4