vertical redundancy