Thread:LoveWaffle/@comment-5350299-20130523145130/@comment-3406131-20130523201911

That argument is kind of boring to ear: If the issue didn't precise explicitly that we are in the Solar System (for any reason), and if they're is no need to distinguish the Solar System from an other Solar System or Galaxy, there no need to add such information.. And even there, we often just list the planets, as there are no that much of them.

If Mars in 616 is included in 616, and Mars in 928 is included in 9828, then Mars in 616 is included in 616. It's that simple.