See Problem 4.8
exr:floyd
