i just assumed it was all formally-verified Ada done to the highest standards with unbelievably high testing standards