f \ if U ♦ , f \J