See Problem 1.14's solution in the text
exr:whatisit1
