propagating redundancy lock the right way throughout the system