oh no I see, there is also a return. I think it's confusing that we can reach here because of either an assertion or a return statement