More generally "unwrap" is being used as inlining the recursive hyper operation once more: https://en.wikipedia.org/wiki/Hyperoperation