both were executed