  We study various orders on countably complete ultrafilters on ordinals that
coincide and are wellorders under a hypothesis called the Ultrapower Axiom. Our
main focus is on the relationship between the Ultrapower Axiom and the
linearity of these orders.
