II  Can be converted to an

efficient  (unlike I)

recursive  formation

Idea:

Simulate state changes  of imperative program by recursive functions.

We call this

McCarthy's Transformation