indpendent sets in trees first draft