Rule T3 (cross-synchronisation)