Strategy for foo

• Objective: prove that foo squares any non-negative integer argument n

• Base Case: Show that foo squares argument 0.

• Inductive Step: Show that if foo squares n-1 then it squares n.