Otherwise, why call them fixed stars?
If that wasn't the case, why would we call them fixed strs?
mnli hypothesis: If that wasn't the case, why would we call them fixed strs? premise: Otherwise, why call them fixed stars?