"that was executed in Texas?"