time-translation symmetry