[fastball]

The software industry absolutely does have ways to prove a much higher level of code correctness than Paddy Power is demonstrating.