Workbook Exercise: Reduction by TorahCraft