added notion of redundancy to the abstract