Errors are part of every program. What matters is whether the language can model them.
With try/catch, every function that throws lies about its return type and every catch clause receives unknown.
This step makes the three concrete consequences observable and motivates the typed alternative that the rest of the tutorial builds on.