Added definitons for different reference classes. Started field write and exactness proofs.