Text: The initial proposal, considered in Docket No.
Entailment: Considering the initial proposition.
Contradiction: The final proposition.