Before revision:  and  if e\ne f, then e intersects \gamma_f at most once, either  a crossing or an end of e.
After revision:  and (3) if e\ne f, then e intersects \gamma_f at most once, either a crossing or an end of e.