An Arens-Royden Laugh In

We attempt to deconstruct the Arens-Royden theorem.