This list must be nonempty, right?