There are two kinds of developers in the world: