I am interested in the scenario where we have some function f which is recursive and which we are not p