Include thesis by Simpson on value-driven redundancy elimination.