There was an awful moment when I felt myself yielding to her soothing magnalities, and had almost convinced myself that, in various senses, she had gotten the dope. But I am glad to say that I pulled myself together.

His thick, heavy, languid, lustreless black hair fell down behind his ears on to his shoulders, in that musicianlike way that is so offensive to the normal Englishman.

He tried to persuade Cicely to stay away from the ball-room for a fourth dance. […] But she said she must go back, and when they joined the crowd again her partner was haled off with a frightened look to the royal circle, […].

Gerhard Gentzen's calculus of natural deduction is the first formalism of structural proof theory, and is the cornerstone of the Curry-Howard correspondence relating logic to functional programming.ᵂᴾ