Starred by nash_efp

nash_efp