can you add some comments to explain what these last two assert statements are asserting? It's not obvious to me.