How to write ... basic reasoning such as figuring out the valid arguments to a function, or the possible return value types, becomes a hard problem.” But annotating four million lines of Python ...