X531: General induction proof template 0 / 10 Show the general process for an induction proof. natural Induction Parsons Problem
X507: General reduction proof template 0 / 10 Show the general process for reducing one problem to another. natural PEML reduction
