Premise: International Space Station Propulsion Module Procurement Process, GAO-01-576R, April 26, 2001.

Hypothesis: The process was detailed in December 2010.
Relation: contradiction