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.