Heh, so I saw the delete_if, but the delete_if is documented as "The array is changed instantly every time the block is called, not after the iteration is over." It sounded more expensive? not that this is a big list or anything...