Negative roots when simplifying surds

[Otis]

… ⎷a is always positive …

One exception. Let a = 0.

You could also write, "⎷a is always non-negative" -- then there's no exceptions. Cheers