The complete classification of ax+b=cx+d via (a-c)x = d-b: exactly one solution when a ≠ c; no solution (contradiction) when a=c, b≠ d; infinitely many (identity) when a=c, b=d. The examination tests all three branches, most often in reverse — telling you the branch and asking for the parameter.