Added more information about order theory that is used later.
Snapshot.