Answer to Question 31C-4

smallest([h]) = h
smallest(L) = min(head(L), smallest(tail(L)))   (when tail(L) ≠ [ ])

The first equation applies to a singleton list.