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