some norm recursion