Prove the natural correspondence between vector space and double dual. Type up some of the proof for annihilators section, but I have a new proof and im going to scrap most of whats typed. Too tired to type now