actually a spanning set now