On the naturality of the iteration and recursive specifications