Realizing formal justice is basically pursued in revi ew of death sentences.

• 实现形式正义是死刑复核程序的基本价值诉求。