repealled the death penalty yesterday.