Comment by eru

As long as the software is proven correct, who cares how it achieves that?