. . . . "3 -> |t -> active" . . . . . .