Am I right that the original triplex concept (3 computers using different microprocessors, three different OSs, three different languages and code written by three different teams who don't communicate with each other - a bug in anything means two against one, and the two win) was abandoned long ago? Maybe it should be revisited.