defn 2.14

replaced p-adic norm with valuation, and added a one line description