shortening redundancy