Are these last two asserts really needed now that you know for sure that they don’t happen?