Working on Program Design by Calculation.