Conessine, the steroidal alkaloid of Holarrhena antidysenterica Wall, possesses a wide range of activities against four insect species viz. Aedes aegypti, Dysdercus koenigii, Spodoptera litura and Pieris brassicae. In D. koenigii the compound inhibits the egg hatching of treated adults and nymphs. In Ae. aegypti the larval developmental periods are extended, resulting in a high mortality rate. Such effects are produced at very low dosages of 0.5 to lOppm. Antifeedant activity is observed against larvae of S. litura and P. brassicae at concentrations of 0.005 to 0.2 % of conessine.

When a familiar notion is modelled in a certain topos E, the natural problem arises to what extent theorems concerning its models in usual set theory remain valid for its models in E, or how suitable properties of E affect the validity of certain of these theorems. Problems of this type have in particular been studied by Banaschewski[2], Bhutani[5], and Ebrahimi[6, 7], dealing with abelian groups in a localic topos and universal algebra in an arbitrary Grothendieck topos. This paper is concerned with Boolean algebras, specifically with injectivity and related topics for the category of Boolean algebras in the topos of sheaves on a locale and with properties of the initial Boolean algebra in .