Dept of redundancy removal, redundancy dept.