An Arens-Royden Laugh In
We attempt to deconstruct the Arens-Royden theorem.