Redundancy Problem Set 1