Sorry, I left a comment and it got washed away by a subsequent commit:

> I removed this case because it does not appear to even be in the right place. There’s a nearly identical spec that operates on list5 for the same reasons below.