Zonder Rust en formele verificatie zouden we dood zijn.