Transference from code to reasoning is not surprising, programming languages are formal logical systems and written code is essentially a concretized form of reasoning about a domain and operations in it. Training people in formal logic also improves their general reasoning capabilities.