You should check here that these are of the same order and family... you depend on that later