Static typing and testing are not replacements for structuring your code so that when you read it at each level of structure you know that it is right.