Comment by dwils098

it does not imply that no concrete methodologies would help us, but rather they will all fail at truly capturing the theory built by the programmer, as per the author.