If people valued reliability and determinism at its absolute maximum, we would still use formal proof methods as Dijkstra was advocating at the time.