X507: General reduction proof template 0 / 1.0 Show the general process for reducing one problem to another. natural PEML reduction
