Filtering for trait Brightest_Star equal Alpha-Vulpeculae