Question: In what state was Gary Gilmore executed?
Sentence: The first use of lethal injection was on December 7, 1982, when Charles Brooks, Jr., was executed in Texas.
Answer in sentence: no