H (Explicit)

HOL