Systems work is often awful though, precisely due to the religious aversion we systems people carry to notions like "proof", "mathematics", and "correctness".

Systems work is often awful though, precisely due to the religious aversion we systems people carry to notions like "proof", "mathematics", and "correctness". Yes, I work in systems. No, don't ask me what I system I'm talking about. I'm certainly not allowed to tell you, of course, and anyway there have been multiple such systems throughout my life. So. Many. Race conditions.