User blog comment:Nedherman1/My Factorial vs HAN!!/@comment-35811215-20180703173610/@comment-4224897-20180705125740

Wait is HAN really well-defined all the way up to that point? I thought it was a whole matter of debate how far up it actuallly is able to go.