Dear categorists, In connection with recent postings regarding extensivity and distributivity, it seems relevant to point out here that the extensivity (for 2-categories) of Top (elementary toposes) and (as a consequence) of Top_S (toposes bounded over a base topos S) is shown in a recent paper: Marta Bunge and Stephen Lack, A van Kampen theorem for toposes (submitted) which can be found in either of our home pages. In turn, some of the the techniques used to prove the results in our paper go back to: Stephen Lack, The algebra of distributive and extensive categories, Ph.D. thesis, University of Cambridge, 1995 and Aurelio Carboni, Stephen Lack and R.F.C. Walters, Introduction to extensive and distributive categories, J. Pure Appl. Alg. 84:145-158, 1993. Marta Bunge http://www.math.mcgill.ca/~bunge