Claim: Thiokol was also recognized as ATK Thiokol.
Verdict: SUPPORTS