David Roe: p-adics (extension fields) (David Harvey would like to help with this)