for X being set holds {} in HFuncs X