Premise: (a) LSC and the Government, also a petitioner, claim that Rust v.

Hypothesis: LSC is the only petitioner.
Relation: contradiction