Redundancy, processors watch each other for correctness