Hnf (Explicit)

F