// #timeforrelaxation. . . .