Cleaned up beginning of Section 1.4.4