The most interesting thing is that his critique of Pascal type rigidity applies to C Standard C, which is very different from C.