Sure, if the first thing is callable, you always go with the default eval strategy, like in this case: (map - (quote (1 2 3))) I'm only talking about case

Sure, if the first thing is callable, you always go with the default eval strategy, like in this case: (map - (quote (1 2 3))) I'm only talking about cases where the first thing isn't callable, but the second thing is: (3 + 1) It seems like this couldn't ever be a problem, because the only cases in which the infix strategy would be used are cases which would have been invalid programs anyway. Does that make sense?