Efyp * GU at(