This ignores the benefits of having multiple implementations, e.g. you can use places where two implementations disagree with each other to track down bugs in o

This ignores the benefits of having multiple implementations, e.g. you can use places where two implementations disagree with each other to track down bugs in one or both of them.