because you already asserted that it's not null in...
# eap
k
because you already asserted that it's not null in the other parameter