Moved base change discussion to a new file
Added on our result about the tranfer principle