Jonathan_Graehl comments on Gerald Jay Sussman talk on new ideas about modeling computation