It should delight them that writing proofs help you think about thinking logically, monads help you write abstract code, prime numbers (and the difficulty of fa

It should delight them that writing proofs help you think about thinking logically, monads help you write abstract code, prime numbers (and the difficulty of factoring them) helps you think about encryption; it's just that explaining that "doing this proof is like doing stretches before you work out" leaves some unfulfilled.