HFE[{{{1}}}]