Methods section of the Min-Redundancy chapter