Alternation (Explicit)

HF$ (Explicit)