, was executed in Texas.