partial recursivity 2