Because you're not writing a program. You're writing an abstract algorithm and this makes the algorithm slightly simpler to express without losing anything. If

Because you're not writing a program. You're writing an abstract algorithm and this makes the algorithm slightly simpler to express without losing anything. If you don't like that, you can use a special error value instead even in your abstract description.