. . . . "3 -> |t -> vertiginous" .