Add article on insufficiency of recursive definition