but in reality if you have checked for empty in t...
# arrow
r
but in reality if you have checked for empty in that branch already then that is safe