Donde "t" y "t" son las "trazas" o "huellas sintácticas" de movimiento dejadas por los movimientos desplazados (que son importantes para la explicación generativista de como se asigna el caso gramatical de acuerdo con la teoría del caso abstracto).