. . "3 -> |t -> life charactherised by ''sexa''" . . .