Si alguna variable libre de "t" se volviera ligada, entonces para substituir "t" por "x" se necesita cambiar los nombres de las variables ligadas de formula_3 por otros que no coincidan con las variables libres de "t".