[robertlagrant]

> Strong type systems can give provably correct code

^ I think this is where you seemed to claim that everything about the code was proven correct.