I’m sympathetic towards Girard’s dissatisfaction with the current state of model theory, but I don’t see how his project may in any practical sense fix it.