Hnf (Explicit)

Vt (Explicit)