> In all other engineering fields you have to produce calculations and "proofs" that your design ought to work. That seems obviously false, unless you understa

> In all other engineering fields you have to produce calculations and "proofs" that your design ought to work. That seems obviously false, unless you understand ""proof"" in such a lax manner that software engineering has them as well.