  This two-page note gives a non-computational derivation of the dual Steenrod
algebra as the automorphisms of the formal additive group. Instead of relying
on computational tools like spectral sequences and Steenrod operations, the
argument uses a few simple universal properties of certain cohomology theories.
