If we were actually like other engineers, everyone would know Coq. Can you imagine building bridges the way many companies do code?