Hmh, I'm not sure I understand what's going on here. Agree this should be `[]` when the `true` branch is taken above, but shouldn't the list be kept if the `false` branch is taken?