Patrick (orthonormal), I’m fairly sure that “Earth” is correct. They haven’t admitted that what they’re going to do is blow up Huygens (though of course the President guesses), and the essential thing about what they’re doing is that it stops the aliens getting to Earth (and therefore to the rest of humanity). And when talking to someone in the Huygens system, talk of “the Huygens starline” wouldn’t make much sense; we know that there are at least two starlines with endpoints at Huygens.
Eliezer, did you really mean to have the “multiplication factor” go from 1.5 to 1.2 rather than to something bigger than 1.5?
Patrick (orthonormal), I’m fairly sure that “Earth” is correct. They haven’t admitted that what they’re going to do is blow up Huygens (though of course the President guesses), and the essential thing about what they’re doing is that it stops the aliens getting to Earth (and therefore to the rest of humanity). And when talking to someone in the Huygens system, talk of “the Huygens starline” wouldn’t make much sense; we know that there are at least two starlines with endpoints at Huygens.
Eliezer, did you really mean to have the “multiplication factor” go from 1.5 to 1.2 rather than to something bigger than 1.5?