Shmi comments on shminux’s Shortform

[Shmi]

you had (and lost) me at (A → B) → A