fair point but from memory most of early programs in his paper were purely immutable in nature (tree recursion and substition), right ?