Part 1: Other engineers and code contracts