Marvin Minsky thought he was going to solve the issue of reasoning with computers in the 1960s, and we are still waiting. It will be done some day, but is this the route?