Splits into the two cases automatically
For |X| = a, AskSia writes X = a and X = minus a as two separate equations, solves each for the original variable, and reports both solutions. The case split is shown explicitly so the method transfers to your next problem.