There is beauty in first constructing V* as the one-forms over V, which seems like a "one-way" derivation from it, and then finding through V = V that they're a

There is beauty in first constructing V* as the one-forms over V, which seems like a "one-way" derivation from it, and then finding through V = V that they're actually two very-equal faces of the same coin.