Stopping at section 6.3.1