As developed in textbook, section 3.1.2