Given `List<? extends Number> values`, which operation is guaranteed to type-check?

Given `List<? extends Number> values`, which operation is guaranteed to type-check?

1. `Number value = values.get(0);`
2. `values.add(1);`
3. `Integer value = values.get(0);`
4. `List<Number> copy = values;`