"3 -> |t -> whirlwind" . . . . .