@Gargron yeah, but who names a planet "Bob", anyway?