Text: (a) LSC and the Government, also a petitioner, claim that Rust v.
Entailment: The government is a petitioner as well.
Contradiction: LSC is the only petitioner.