Title: Strengthening the no recursion hypothesis