Text: Otherwise, why call them fixed stars?
Entailment: Why call them fixed stars?
Contradiction: Why call them suns?