A friend (David Corfield) says he recalls Johnstone somewhere complaining about logicians who use topos methods in their thinking but keep them out of publications. Can anyone tell me where that is? Colin McLarty