Let P be a point, Pa, Pb, Pc its cevian traces, A’ the contact point between the incircle and the second tangent from Pa. Define analogously B’, C’. Then AA’, BB’, CC’ concur.