Or put another way, it tightens the API/contract of that chunk of code to always return a valid string.