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.