electric chairs (300391486) 'required for' executing (300137798);