Let's stick to bickering about Formal Verification and Static Typing and leave that cold shower stuff to the pros...