emphasize and elaborate on Kleene's Theorem
editing sections 3 and 4