Can we be sure this won't return `NULL`?