Why was Henry Hayes executed in 1997?

Henry Hayes was executed in 1997 for the 1981 murder of a 15-year-old girl named Tami Jo O'Brien in Florida. Hayes, who was convicted of the crime, abducted O'Brien, and after a series of violent acts, he ultimately killed her. His execution followed years of appeals and legal challenges, but the courts upheld his conviction and death sentence. The case drew attention due to its brutal nature and the implications surrounding capital punishment.