added slides on upper bound for redundancy