If we were to regard Sirius and Procyon as double stars, the change of their motions would not surprise us; we should acknowledge them as necessary, and have only to investigate their amount by observation. But light is no real property of mass. The existence of numberless visible stars can prove nothing against the existence of numberless invisible ones.