Finished \S 1.3!