I don't see all these test cases covered above. Where did they go?