A double star is a star that __________.