That’s interesting, robt. I’m surprised. I always felt John Henderson had rather a light touch compared, say, with Listener editors. I always suggest compiler error with great reluctance, because I know that usually it’s the solver’s failure. So we’ll see if any other explanation turns up