More updates to Chapter 1 notes exploring order and uniqueness.