Tagged $HEFA