Predicting Scenarios for Successful Autodissemination of Pyriproxyfen by Malaria Vectors from Their Resting Sites to Aquatic Habitats; Description and Simulation Analysis of a Field-Parameterizable Model

Background Large-cage experiments indicate pyriproxifen (PPF) can be transferred from resting sites to aquatic habitats by Anopheles arabiensis - malaria vector mosquitoes to inhibit emergence of their own offspring. PPF coverage is amplified twice: (1) partial coverage of resting sites with PPF contamination results in far higher contamination coverage of adult mosquitoes because they are mobile and use numerous resting sites per gonotrophic cycle, and (2) even greater contamination coverage of aquatic habitats results from accumulation of PPF from multiple oviposition events. Methods and Findings Deterministic mathematical models are described that use only field-measurable input parameters and capture the biological processes that mediate PPF autodissemination. Recent successes in large cages can be rationalized, and the plausibility of success under full field conditions can be evaluated a priori. The model also defines measurable properties of PPF delivery prototypes that may be optimized under controlled experimental conditions to maximize chances of success in full field trials. The most obvious flaw in this model is the endogenous relationship that inevitably occurs between the larval habitat coverage and the measured rate of oviposition into those habitats if the target mosquito species is used to mediate PPF transfer. However, this inconsistency also illustrates the potential advantages of using a different, non-target mosquito species for contamination at selected resting sites that shares the same aquatic habitats as the primary target. For autodissemination interventions to eliminate malaria transmission or vector populations during the dry season window of opportunity will require comprehensive contamination of the most challenging subset of aquatic habitats (Clx) that persist or retain PPF activity (U x) for only one week (Clx→1, where U x = 7 days). To achieve >99% contamination coverage of these habitats will necessitate values for the product of the proportional coverage of the ovipositing mosquito population with PPF contamination (C M) by the ovitrap-detectable rates of oviposition by wild mosquitoes into this subset of habitats (mlx,z,d), divided by the titre of contaminated mosquitoes required to render them unproductive (Tlx,z,d), that approximately approach unity (CMmlx,z,d/Tlx,z,d→1). Conclusions The simple multiplicative relationship between C M and mlx,z,d/Tlx,z,d, and the simple exponential decay effect they have upon uncontaminated aquatic habitats, allows application of this model by theoreticians and field biologists alike.


Introduction
The leading malaria vector control strategies (i.e., long-lasting insecticidal nets (LLINs) [1] and indoor residual spraying (IRS) [2]) can dramatically reduce transmission by mosquitoes that feed and/or rest indoors, but these tools alone are insufficient to eliminate it [3][4][5][6]. The success of LLINs and IRS rely on their ability to control mosquitoes that feed and/or rest indoors, so highly potent vectors like Anopheles gambiae and An. funestus that rely heavily upon human blood and houses for their survival can be effectively controlled or even eliminated by these approaches. However, the maximum impacts of LLINs and IRS are typically limited by the fact that many important primary vectors across the world [4][5]7], and particularly An. arabiensis in the East African context [8][9][10][11][12][13][14], can evade exposure to them and survive by feeding upon animals or humans outdoors, or by avoiding contact with treated surfaces even when they do enter houses [15][16][17]. Hence, to achieve malaria elimination, strategies are needed that target mosquitoes when they feed on animals or humans outdoors, or while using one of the other biological and environmental resources they need, such as sugar, mating sites, resting sites, and oviposition sites [5,18]. Some of the most promising strategies that might be used to complement LLINs and IRS by targeting adult mosquitoes outdoors include vapour-phase repellents [19], insecticide-treated clothing [20][21] insecticide-treated cattle [22], odor-baited traps [23][24] and toxic sugar baits [25]. Another, far older strategy, that has been used to suppress vector densities in a variety of contexts over the last century, is to prevent emergence of adults at source by applying insecticides to their aquatic larval habitats [26]. While this approach has achieved some striking successes against malaria vectors and transmission, even in Africa, its applicability and effectiveness may be limited by the substantial logistical challenges and associated costs of comprehensively and continuously identifying and treating relevant breeding habitats, especially in large rural areas with sparse human population [26][27][28].
However, it has proven possible to deliver larvicides by contaminating adult mosquitoes when they rest inside treated containers so that, when they subsequently oviposit, the insecticide is transferred to their aquatic larval habitats [29][30][31]. Such autodissemination of insecticide from resting sites to aquatic habitats via adult mosquitoes requires particularly potent by the entire adult population per night, the number of larval habitats (H), and the number of contaminating events needed to make a single habitat unproductive (O): While the mean time period over which contaminated aquatic larval habitats persist but remain unproductive (U) may, in principle, be measured by direct observation of habitat persistence and sampling of pupae or emerging adults, it is difficult to define and impossible to measure absolute values for the input parameters C r , H, O, and O as originally defined [45] for several reasons: (1) The absolute proportion of all resting sites that have been contaminated with PPF (C r ) is inestimable because it is not feasible to define measurable units for all forms of resting sites, much less survey them [46][47]; (2) The number of hydrologically independent habitats (H) cannot be quantified simply because it is not practically possible to define clearly, much less measure, what constitutes genuine larval habitat, as opposed to the water bodies with which they are associated [36,[38][39]47]. Absolute quantities of habitat, expressed in terms of volume or area are fundamentally un-measurable for a species like An. arabiensis because they are poorly defined and dynamic, often consisting of tiny depressions at the edges of water bodies or vegetation-sheltered peripheral portions within them [36,[38][39]. For example, the absolute sizes of discrete habitats, like puddles, footprints and stands of emergent vegetation, around the fringe of a large lake may be comparable to those around a small pond, but many of these are essentially impossible to identify and delineate unambiguously; (3) the number of ovipositions carried out each night by the entire population across all habitats (O) or even per habitat in a sample of habitats (O/H) cannot be quantified because the only existing trap for capturing free-flying, gravid, wild Anopheles, when they oviposit in natural aquatic habitats, only samples unknown fractions of the total number of ovipositing females visiting those habitats [48], which are themselves impossible to distinguish and quantify [36,[38][39]47]. While other prototype oviposition traps for Anopheles do exist, they may be applied only to artificial or modified sentinel habitats [49][50]; (4) The number of contaminating events needed to make even a single, selected habitat unproductive O cannot be estimated because, as described for (H), naturally-occurring habitats are extremely difficult to define, distinguish and quantify unambiguously [36,[38][39]47]. Also, performing titration by introducing varying numbers of contaminated mosquitoes into such habitats within cages placed over them do not necessarily correspond to equivalents number of contamination events because a single mosquito may oviposit more than once [51]. In addition, those contamination events are themselves impossible to quantify with existing oviposition traps for the same reasons as (O/H).
Furthermore, recent large-cage SFS experiments with An. arabiensis [35] clearly demonstrate that autodissemination via this vector species, which is behaviorally resilient to control with LLINs or IRS [8][9][10][11][12][13][14][15][16][17], actually involved two coverage amplification steps (Fig 1), rather than merely one as previously assumed [45]. The previous formulation [45] assumed that the proportional coverage of resting sites (C r ) with PPF contamination and of the ovipositing adult mosquito population (C M ) are equivalent, and that coverage amplification occurs through a single process as PPF is accumulated in larval habitats through repeated transfer from contaminated adults. However, these large-cage experiments [35] demonstrate how coverage amplification also occurs as PPF is transferred from the resting sites to the mosquito population (Fig 1): Taking the proportion of all sampled mosquitoes that were recovered from clay pots as a crude indicator of resting site coverage (C r = 0.17) and contrasting this with the high proportion of mosquitoes caught outside of the pots that were contaminated (C M = 0.72), illustrates how an approximately four-fold amplification (C M /C r = 0.72/0.17 = 4.2) apparently occurred. This additional amplification step presumably occurs because mosquitoes move around through several resting sites over the course of a night, as demonstrated by the direct observation of such high proportions of contaminated mosquitoes outside of the treated pots.
Here, we revise and reformulate the previously published model [45] and adapt some formulations from another more recent model that allows multiple resource utilization events per gonotrophic cycle for resting sites or other resources to be measured and accounted for [46], so that a range of alternative approaches to implementing such a double-amplification autodissemination strategy can be parsimoniously modelled using only input parameters that are fieldmeasurable. Simulation analysis explores conditions under which an autodissemination of insecticide strategy might be successful in the field.

Methods
Since the publication of the model described in Eq 1 [45], we have developed a broader set of generalizable models for capturing the effects of a wide variety of intervention strategies that target diverse resources which mosquitoes utilize, such as sugar, mating sites, resting sites, and oviposition sites, as well as subsets of those resources [3,16,23,46,[52][53][54]. Here we adapt the notations and definitions of the previous autodissemination model [45] to harmonize them with these broadly applicable frameworks and to enable development into a far more explicit, practically applicable, and field-parameterizable form. In particular, the notations and definitions are revised to enable the modelling of a range of alternative approaches to the autodissemination strategy in a way that explicitly captures the changing levels of coverage achieved as PPF is transferred, first from one of several possible resource subsets that could act as targets for initial delivery to the adult mosquito population via contact contamination, and then from those adult mosquitoes to the ultimate aquatic habitat targets when they make contact by oviposition (Fig 1). First of all, the notation is adjusted (Table 1) by (1) substituting C M for C r to reflect direct dependence of the proportional coverage of all aquatic larval habitat (l) with PPF contamination (C l ) upon that of the ovipositing adult mosquito population (C M ) and only indirectly upon that of the resting sites (C r ), (2) substituting T l for O to reflect potential for measurement by mosquito exposure titration experiments and to prevent overlap in meaning with previous uses of the symbol O to reflect distinct vector control scenarios [3,16,23,[52][53][54], and (3) substituting l for H to enable consistent use, not only as a subscript to specify the proportional coverage of all aquatic larval habitat (l) with PPF contamination (C l ), but also as all forms of that entire specific resource (R = l) [46] as illustrated in Fig 1. Eq 1 is therefore reformulated as A schematic illustration of how partial coverage all resting sites is amplified in two steps as PPF contamination is transferred to the adult mosquito population and then onwards to the larval habitats. The proportional coverage of the resting sites (C r ), ovipositing adult mosquito population (C M ) and larval habitats (C l ) is depicted as a proportion of all resting sites (r), adult mosquitoes (M) and larval habitats (l) covered with PPF contamination (c).
doi:10.1371/journal.pone.0131835.g001 The minimum rate at which contaminated ovipositing females oviposit into all aquatic larval habitats in an ecosystem (l) that is required to render those habitats unproductive within one night The minimum rate at which contaminated ovipositing females are captured by sticky traps placed at a defined density per unit of habitat perimeter length at a given sample (z) of a given subset (x) of all available forms of aquatic larval habitat (l x,z ), that is required to render those habitats unproductive within one night m l x;z;d Rate at which the mosquito population utilizes a defined, entomologically surveyed sample (z) of subset (x) of aquatic larval habitat (l) as detected (d) by sticky traps placed at a defined density per unit of habitat perimeter length at, expressed as the number of utilization attempt events per night.

U
Mean time period that all aquatic larval habitats, or subset (x) of those habitsts (U x ), persist but remain unproductive following contamination with PPF. The total availability of all forms of blood, defined as the rate at which individual mosquitoes encounter and attempt to utilize blood per night X A subset of a given resource that may be identified and targeted with a vector control intervention z A sample of a given resource that has been surveyed entomologically O The ecosystem-wide total nightly oviposition rate by the entire adult mosquito population into all aquatic larval habitats or into a subset (x) of those habitats (O x ).
In the following sections, we describe how each of the parameters in Eq 2 have been conceptually redefined and may be estimated in the field.

Amplification of contamination coverage through transfer of pypriproxifen from treated resting sites to adult mosquitoes
We have revised the definition of the coverage term on the right hand side of Eq 1 to represent more accurately its original conceptual basis. This coverage term was originally and mistakenly described as the proportional coverage of all resting sites with PPF contamination (C r ) [45], but the conceptual basis of the equation is that it describes the proportional coverage of the ovipositing adult mosquito population (M) with PPF contamination (C M ). Therefore, the original formulation implicitly assumed that C r are C M are equivalent (C M % C r ) because each mosquito rested in only one location per gonotrophic cycle. The assumption that a mosquito visits only a single resting site in a typical full gonotrophic cycle is obviously questionable for many mosquito species [55]. Furthermore, recent observations during experiments to demonstrate autodissemination of PPF by An. arabiensis specifically, indicate that a high proportion of mosquitoes caught outside the treated pots appeared to be contaminated with this larvicide [35] clearly demonstrate just how inaccurate this assumption is in relation to this specific mosquito species. Thus, we introduce an additional, intermediate parameter which describes coverage of the entire adult mosquito population (M) that mediates autodissemination of PPF. It is important that an approach used to measure the proportional coverage of adult mosquito population contaminated with PPF can account for all contaminating resting sites visited by a mosquito per gonotrophic cycle. Fortunately, several techniques such as more sensitive chemical, biochemical, genetic and biological markers [56] may be used to label mosquitoes directly when they are resting. Therefore, proportional coverage of the ovipositing adult mosquito population (M) with PPF contamination (C M ) may then be measured directly by testing samples of individual mosquitoes for PPF contamination or its biological activity [35], or alternatively with a variety of markers [56] that can be used as more convenient, readily-detected surrogates for PPF contamination.
Nevertheless, while measurements of C M using such labels are essential and more direct predictors of autodissemination success, it may also be estimated indirectly from entomological surveys of the resting site utilization processes that directly mediate it. Furthermore, to fully understand how two-stage autodissemination strategies function by measuring the rate at which PPF-targeted subsets (x) of resting sites (r) are utilized ða r x Þ, and to cross-validate these measures by comparison with each other, it is important to also model the first coverage amplification process as PPF is transferred from those resting sites to the adult mosquito population (Fig 1).
In this revised formulation, proportional coverage of the ovipositing adult mosquito population (M) with PPF contamination (C M ) that mediates transfer from the treated resource to the aquatic larval habitat resource (l) is assumed to be a function of the rate at which all resting sites that are covered with PPF contamination (r c ) are visited by mosquitoes ða r c Þ, which is in turn the product of the coverage of all available contaminated and uncontaminated resting sites [46] (C r ) and the rates at which individual mosquitoes utilize all available resting site surfaces α r : The latter utilization rate term is defined as the mean number of times an individual mosquito makes physical contact with any contaminated or uncontaminated resting site surface during a typical gonotrophic cycle. Hence, instead of assuming the proportion of all contaminated adult mosquitoes is approximately equivalent to the proportion of all available contaminated resting sites (C M % C r ), we present an exponential relationship relating proportional coverage of the ovipositing adult mosquito population (M) with PPF contamination (C M ) to coverage (C r ) and utilization rate (α r ) of all available resting sites (r), rather than just those that have been covered with PPF contamination (r c ). Also, the new terms for the per gonotrophic cycle utilization rate of a resource (α R ) or resource subset ða R x Þ also is previously introduced [54], so that the effects of covering resources that may be utilized more than once per gonotrophic cycle can be modelled [46].
Even assuming that the proportional coverage of the ovipositing adult mosquito population (M) with PPF contamination (C M ) is a function of proportional coverage of all resting sites (r) with PPF contamination (C r ) and the utilization rate for all resting sites (α r ), the problem remains that neither can be reliably measured, even within the confines of our SFS because it is impossible to quantify or survey all the possible surfaces mosquitoes may choose to rest upon.
Fortunately, in cases where the total amount of a given mosquito resource (R) (such as blood (v), resting sites (r), or aquatic habitat (l)) cannot be quantified, it is possible to predict the impact of conventional insecticides that directly kill adults based on the measurements of coverage ðC R x Þ and utilization rates ða R x Þ for any definable, targetable subset (R x ) of that overall resource [46]. The advantage of using a R x and C R x is that both are directly measurable. It is no longer necessary to know the proportion of the total resource which the covered subset represents (C R ) or the utilization rate for all available forms of that resource (α R ). Specifically, the product of the proportional coverage of all resting sites (r) with PPF contamination (C r ) and utilization rate (α r ) of all resting site is equivalent to the product of the corresponding terms for the insecticide-targeted subset (C r x and a r x , respectively), which are both field-measurable parameters for such quantifiable, surveyable, subsets of resting sites [46], A previous formulation in [46] designed to predict mosquito mortality resulting from resting surfaces treated with insecticide that kill them on contact was adapted to predict proportional coverage of the ovipositing adult mosquito population (M) with PPF contamination (C M ) by substituting the term contamination for mortality. In this preceding formulation [46], the probability of surviving all attempts to use intervention-covered forms of the targeted resource, in this case specified as resting sites (R = r) per gonotrophic cycle (P a r c ), is calculated as a simple exponential decay function of the product of the mortality probability associated with exposure to a covered form of the resting site through a single utilization event (m r c Þ and the mean utilization rate for all covered forms of that resting site ða r c Þ [46] which may be substituted with the product of the proportional coverage of all available forms of an identifiable, targetable subset (x) of a resting site (r) with PPF contamination ðC r x Þ and utilization rate for a defined subset of resting sites ða r x ) from Eq 4, By definition, P a r c also may be understood as the probability per gonotrophic cycle of an individual mosquito of not being killed through contact with insecticide-covered forms of a targeted resource. This complementary definition can be adapted readily to calculate the probability of adult mosquitoes not being contaminated with PPF. Hence, replacing the mortality term with the probability of mosquito contamination resulting from a single exposure to a PPF-contaminated resting site through a single utilization event ðz r c Þ, and then replacing the survival probability term ðr a r c Þ with the probability per gonotrophic cycle of not being contaminated with PPF through contact with any of the covered resting sites, we get the equivalent formulation Therefore, the proportional coverage of the ovipositing adult mosquito population (M) with PPF contamination is the complement of the probability of not being contaminated with PPF, In addition, the contaminating probability associated with exposure to a PPF-contaminated form of the resting site through a single utilization event may be reasonably assumed to approach unity ðz r c ! 1Þ based on experimental data indicating that 100% of all mosquitoes caught resting within a clay pot treated with PPF are contaminated [35], so Hence, the proportional coverage of the ovipositing adult mosquito population (M) with PPF contamination can be calculated directly using only two field-measurable parameters for the targetable, quantifiable, surveyable subset, specifically the proportional coverage of all available forms of that subset (x) resting sites (r) with PPF contamination ðC r x Þ and the population mean utilization rate for that resting site subset by individual mosquitoes ða r x Þ.
While C r x may be readily and rapidly surveyed by direct inspection, a r x may be estimated indirectly by comparison with the rate at which the mosquito blood feeding events occur at the population level [46]. Otherwise, it is impossible to quantify directly the rates at which mosquitoes make contact with a subset of resting sites which is definable and measurable in itself but constitutes an unknown fraction of an indefinable, un-measurable total quantity of resting sites [46]. By comparison, numbers of blood hosts of particular species can be readily quantified, as can the rates at which mosquitoes blood feed upon them and the proportion of all blood meals that each host species represents, so it is possible to estimate the rate at which blood meals are taken or gonotrophic cycles are completed by a mosquito population (m v ) or population sample ðm v z Þ [46]. Thus, if the rate at which a defined, targetable subset of resting site resources (r x ) are visited by the same mosquito population ðm r x Þ or population subsample ðm r x;z Þ also can be estimated, the mean rate at which individual mosquitoes visit that resting site subset per gonotrophic cycle may be calculated as the quotient of these two quantities [46]: In practice, m r x;z may be measured by either capturing or observing mosquitoes when they rest at samples (z) of the targeted resting site subset (x) [46]. Also, m v z may be measured by capturing mosquitoes when they attack samples of humans or livestock and dividing by the product of the proportion of all hosts of that species that sample accounts for and the proportion of all bloodmeals that species accounts for, as described in detail elsewhere [46]. Note, however, that estimating a r x in this indirect manner requires local measurement of several entomological input parameters that are laborious and imprecise so this approach will most probably be far less direct, precise and accurate than direct labeling of mosquito populations to measure C M [46].
In fact, even if it is useful to measure the target resting site subset utilization rate (a r x ) in addition to mosquito population coverage, it is probably far easier and more accurate to estimate the former as a simple function of measured values for the latter. Eq 8 may be rearranged so that α r,x can be calculated either directly from single measurements of C M or estimated by fitting the following equation to measures of C M at varying levels of coverage of the targeted resting site subset (C r x ): 2.2 Amplification of contamination coverage through transfer of PPF from gravid adult mosquitoes to aquatic habitats The four other parameters in Eq 2, namely the ecosystem-wide total nightly oviposition rate by the entire adult population (O), the mean time period that aquatic larval habitats persist but remain unproductive following contamination with PPF (U), the total availability of all forms of aquatic larval habitats (l), and the mean number of contaminating oviposition events needed to make a single habitat unproductive (T l ), all relate to transfer and accumulation of PPF in aquatic habitats. However, as originally defined, these are not practically measurable in the field, so these components also are revised at a fundamental conceptual level.

2.2.1
Calculating the minimum number of ovipositions by contaminated mosquitoes required to render habitats unproductive. The minimum rate at which contaminated ovipositing females oviposit into all aquatic larval habitats in an ecosystem (l) that is required to render those habitats unproductive within one night (T l ) can be measured in a large-cage SFS with one or more artificial habitats by simple titration. In principle, such a titration measurement may be accomplished by measuring the impact of PPF delivered by varying numbers of released, contaminated mosquitoes. The term O in the original model [45] is therefore replaced by (T l ) to reflect that titration measurement opportunity and avoid conflicting with previous models using the former symbol to denote vector control scenario [23,[52][53]. The mean titre of all habitats (T l ) is defined as the minimum rate at which contaminated females oviposit into them per night that is required to reach a targeted percentage (usually ! 95%, but ! 99% is more appropriate for such a strategy intended to eliminate rather than merely control vector populations [6] and the malaria transmission they mediate [40]) of emergence inhibition of adult mosquitoes from contaminated aquatic larval habitats. Mathematically, T l may be calculated as the product of the mean utilization rate of all aquatic larval habitat(s) by individual mosquitoes (α l ) and the minimum rate at which contaminated females must oviposit into them to render those habitats unproductive within one night ðm min l Þ, divided by the total quantity of those aquatic larval habitats (l), However, the overall total oviposition event titre for all aquatic larval habitats present in any natural ecosystem (T l ) is impossible to measure in practice. Furthermore, titre estimates for artificially constructed habitats are of dubious relevance to natural habitats, which are far more diverse, dynamic, and variable in qualitative and quantitative terms [36,39]. In principle, titration experiments could be conducted in natural habitats in the field by temporarily placing large cages over them and releasing varying numbers of contaminated, insectary-reared gravid females. However, the obstacle that remains to predicting impact of an autodissemination strategy is estimating the natural rates of exposure of these habitats to ovipositing females in the absence of any way to measure the total number of ovipositing mosquitoes visiting them or the total quantity of habitat surveyed.
Fortunately, a recently developed method [48] for surveying oviposition contacts of mosquitoes with either artificial or natural aquatic larval habitats, by trapping them on glue-covered plastic sheets, now allows an index of oviposition input to be recorded. This method probably exhibits incomplete efficiency of oviposition contact detection (ε d ) through physical capture (ε d <1), but the number of oviposition events that can be observed with this sticky trap method in a given habitat sample (z) for a given titration experiment can be assumed to be proportional to total oviposition contacts if that efficiency level is consistent for each habitat type (x) category, such as puddles, river fringes, or springs and the sticky traps are placed at a fixed density per unit of habitat perimeter: and Failures of the trap to capture mosquitoes that make contact with it may lead to incomplete trapping of all mosquitoes visiting a habitat. More crucially, however, each trap only surveys a sample of the perimeter of any water body where most larval habitat occurs. This is an advantage because it presents a valuable opportunity to field-parameterize these models. While it is not possible to estimate which fraction of all larval habitat (l) or subset thereof (l x ) that any given set of sticky oviposition traps (l z or l x,z respectively), represent, it can be assumed to vary in proportion to the rate of oviposition input per unmeasurable but constant unit of quantity of habitat such traps are considered to sample (l z or l x,z respectively), regardless of how much unknown, un-measurable total habitat (l) or habitat subset (l x ) is present in the ecosystem. As described in detail below, the absolute titre estimates for samples of natural habitats can be replaced by titres of detected (d) oviposition events at samples (z) per unit of perimeter length at habitats or subsets (x) of habitats, measured with oviposition sticky traps [48]. This new term for the detectable oviposition contact titre ðT l z;d or T l x;z;d respectively), is expressed as the minimum rate at which contaminated ovipositing females are captured by sticky traps placed at a defined density per unit of habitat perimeter length at a sample of aquatic habitat that is required to render those habitats unproductive within one night.
Consider an SFS or full field experiment undertaken to measure the minimum number of ovipositing mosquitoes utilizing the habitat(s) that are required to render it unproductive ðm min l Þ and the total quantity of habitat (l) where sticky traps [48] are used to measure an index of the number of oviposition events by mosquitoes for a sample (z) of a categorical subset (x) of aquatic habitats (l x,z ). It is assumed that the numbers of mosquitoes caught by a single sticky trap represent a detectable fraction (ε d ) of all utilization events occurring at the unmeasurable but constant unit of habitat each one can cover by placing them at a defined density per unit of perimeter length ðm l x;z Þ, which is typically distributed along the perimeter of water bodies rather than in them, because 1) they are applied at a constant density per unit of perimeter in existing protocols, and 2) each sticky trap has a fixed area and dimensions [48]. If m min l x;z;d represents the mean minimum catch per night per sticky trap that results in lack of productivity following controlled exposure to contaminated mosquitoes, then the detectable oviposition titre of detected oviposition events per night per sticky trap (T l z;d or T l x;z;d ) may be computed as respectively, where m l z of m l x;z is the number of oviposition events occuring in the aquatic habitats or habitat subset that was surveyed with the sticky traps, and ε d is the detection sensitivity of those events by the sticky trap.
Assuming that the sample of all aquatic larval habitats (l z ) or a categorical subset thereof (l x,z ) is representative, it also may be assumed that the mean catch per night per sticky trap for a sample of that habitat (l z ) or habitat subset (l x,z ) is also representative of the mean catch per night per sticky trap for the entire set (l) or subset (l x ) of habitats, and therefore, proportional to the fraction of all aquatic habitats that surveyed samples represent: and m min Re-arranging Eq 13 yields a l m min and a l m min Re-arranging Eq 14 yields Substituting Eq 16 and then Eq 15 into Eq 11 yields and Hence, even without knowing total availability of all forms of aquatic larval habitats (l or l x ) or the utilization rate of oviposition sites by individual mosquitoes per gonotrophic cycle ða l or a l x Þ, in principle, the absolute titre of all habitats may be calculated by dividing the known detectable titre of the sampled habitats ðT l z;d or T l x;z;d Þ by the detection efficiency of the sticky trap (ε d ). It is not obvious how the detection efficiency of the sticky trap could be measured, except perhaps by direct observation [57][58]. However, as explained below, it is not essential to know the absolute oviposition input titre so long as the titration experiments use the same imperfect sampling tool as surveys of oviposition exposure of the same natural habitats to wild mosquito populations. Mathematically, this allows a fully measurable solution to Eq 2 because, as described in the next sub-section, the unmeasurable detection sensitivity term (ε d ) also appears in the otherwise fully measurable solution to the quotient O/l, or an equivalent term in a model for a defined subset of habitats O x /l x .
2.2.2 Calculating the ratio between the numbers of ovipositions by adult mosquitoes and aquatic habitats. The remaining terms to be addressed include only the ecosystem-wide total nightly oviposition rate by the entire adult population (O), and the quantity of aquatic larval habitats available for them to oviposit into (l), which constitute a quotient (O/l) in Eq 2.
Unfortunately, the mean number of oviposition events each gravid mosquito executes per gonotrophic cycle remains unknown but clearly greater than unity for African Anopheles studied thus far (α l >1) [51]. It is therefore not possible to measure this utilization rate for oviposition sites directly, or to reliably infer the population-level total rate at which these events occur in an entire ecosystem, even if the total rate at which mosquitoes become gravid and begin ovipositing (m l ) could be inferred from estimates of gonotrophic cycle completion based on surveys of blood utilization [46]: As described in the previous section, the larval habitat utilization rate term (α l ) is essentially unmeasurable, and it is also very difficult to define what constitutes mosquito aquatic larval habitat in a quantifiable way [36,[38][39]47]. Even if it is possible to quantify a sample of aquatic larval habitats (Z), possibly within a defined subset of habitat categories (x), using relatively simple indicators, such as the perimeter of the water bodies with which they are associated, it is impractical to measure directly the total quantity of aquatic larval habitat present in an entire ecosystem (l) on village-level spatial scales that are large enough to be epidemiologically relevant to an intervention like autodissemination that only acts at the community level [59]. However, as discussed above, it is now possible to survey oviposition events [48] as rates per sticky trap placed at a given density per perimeter length unit of habitat, even if that fixed proportion of oviposition effects that can be detected is undefined and unmeasurable [48]. Thus, it is should be possible to relate observed oviposition rates at aquatic habitats under natural conditions to those in titration experiments in which varying numbers of contaminated mosquitoes are introduced to them, following which their productivity or lack thereof is determined, so long as the same survey method is applied in both experiments. By substituting Eq 18 for O, the quotient of the ecosystem-wide total nightly oviposition rate by the entire adult mosquito population (O), divided by the total availability of all forms of aquatic habitats (l) or of a subset of aquatic habitats (l x ), is As described in Eq 16, α l m l /l can be estimated by assuming a sample of aquatic larval habitats (l z ), or a sample of a defined subset of those habitats (l x,z ) is representative, so Sticky traps probably under-count ovipositing mosquitoes (ε d <1) but the number of ovipositing mosquitoes observed in the trap can be assumed to be proportional to that absolute quantity, so the rate at which mosquitoes oviposit in a surveyed sample of larval habitats (l z ) or subset of habitats (l x,z ), that are detected by a sticky trap, may be described as By rearranging Eq 29 ðm l z ¼ l z m l z;d =ε d a l or m l x;z ¼ l x;z m l x;z;d =ε d a l x Þ and substituting into Eq 20, α l and l z or l x,z both cancel, leaving ε d as the only unmeasurable term: or Thus, Eq 22 indicates that the quotient of the ecosystem-wide total nightly oviposition rate by the entire adult mosquito population (O), divided by the total availability of all forms of aquatic larval habitats (l), may be estimated by dividing the rate at which mosquitoes ovipositing at a surveyed sample of habitats are detected with a sticky trap ðm l z;d Þ by the efficiency of that trap (ε d ), and the same applies to subsets of habitats within the ecosystem (O x , l x , and m l x;z;d Þ, respectively).
Fortunately, the terms O/l and T l appear in Eq 2 as a quotient (O/lT l ), so the same applies to m l z;d and T l z;d or m l x;z;d and T l x;z;d and the unknown detection efficiency term (ε d ) cancel in the equivalent quotient. Substituting Eq 17 for T l (and then T l x Þ, Eq 22 for O/l (and then O x /l x ), we get and 2.3 Combining the model components to obtain a formulation using only field-measurable parameters Taking Eq 2 and substituting Eq 23 for O/lT l or O x /l x T l,x , we get and where C l and C l x are the respective proportional coverage of all aquatic larval habitats (l) or a subset thereof (l x ), with PPF contamination. All the parameters specified in Eq 24 that replace equivalent terms in Eq 2 are field measurable. The only term that remains from Eq 2 (U: the mean time that aquatic larval habitats persist but remain unproductive following contamination with PPF) also may be measured directly in the field following experimental contamination of natural habitats with at least the measured titre of live contaminated females required to render them unproductive.

Results
Overall, Eq 24 enables prediction of larval habitat coverage with PPF contamination via autodissemination, using input parameters that are all field measurable and have a relatively straightforward deterministic relationship, so that recent successes in enclosed large-cage SFS [35] can be rationalized, and the potential for application in full field ecosystems can be assessed. Beyond merely assessing the prospects for any given PPF formulation and delivery method, the model also defines measurable properties of different prototypes that may be optimized conveniently and rapidly under controlled experimental conditions, so that prospects for success in full field ecosystems may be maximized. Furthermore, combining mathematical simulation analysis with a review of the known biological and physical constraints upon the input parameters allows assessment of the plausibility of success in full field ecosystems and threshold values or, more accurately, combinations of values for those input parameters that are required to achieve meaningful impact upon dry season malaria transmission or even the population stability of the parasite and vector populations that mediate it.

Model parameterizability
All the parameters on the right hand side of Eq 24 are, as described in the narrative of the preceding methods section, measurable not only in large-cage SFS, but also in full field ecosystems: (1) Proportional coverage of the ovipositing adult mosquito population (M) with PPF contamination (C M ) may be measured directly using appropriate labels to mark insects [56] making contact with resting site surfaces that are, or would be, treated with PPF. Alternatively, it may be estimated indirectly as a function (Eq 8) of utilization rate for a defined subset of resting sites ða r x Þ, measured by comparing observed rates of utilization events for resting site subsets at samples of the ecosystem ðM r x;z Þ with those for all mammalian blood resources at the same samples of the ecosystem ðM v z Þ (Eq 9);(2) The minimum rate at which contaminated ovipositing females are captured by sticky traps placed at a defined density per unit of habitat perimeter length at a sample subset of aquatic habitats, that is required to render those habitats unproductive within one night (T l z;d or T l x;z;d ) may be estimated by titration, achieved by introducing varying numbers of contaminated mosquitoes into cages placed over those habitats, within which sticky traps are placed at a standardized density; (3) the number of oviposition events detected by the same sticky traps in the same sample of habitats under natural conditions (m l z;d or m l x;z;d ) may be measured in the same way, but with the cage removed so that it is exposed to normal levels of oviposition by the wild mosquito population m l x;z;d ; and (4) The mean period of time that aquatic larval habitats persist but remain unproductive following contamination with PPF (U) may be measured by longitudinal observation of the habitats contaminated during the titration experiments, particularly those at the minimum effective level of mosquito exposure that defines the measured titre. The model described by Eq 24 not only enables field parameterization, but also directly defines the design of the experiments that need to be conducted to (1) rationalize the recent demonstrations of success PPF autodissemination in enclosed large-cage SFS [35], and (2) assess the plausibility of success in full field ecosystems, using either An. arabiensis, or an alternative mosquito species with which it shares aquatic habitats, to mediate PPF transfer and coverage amplification.

Measurable optimization of autodissemination technologies and delivery strategies
Eq 24 also defines measurable properties of different prototype autodissemination strategies that may be rapidly optimized, often under conveniently controlled experimental conditions, to enhance prospects for success and maximize impact in full field ecosystems.
The most obvious of these is the detectable titre of ovipositing females required to render habitats unproductive (T l z;d or T l x;z;d ); while standardized artificial habitats created inside experimental cages may not be representative of their natural counterparts, nevertheless, they may be perfectly adequate and far more convenient for comparing the level of emergence inhibition activity transferred to mosquitoes by a variety of alternative PPF formulations. While such activity measurements (by definition the inverse of titre) in artificial habitats may not be used to predict likely impact in natural larval habitats, the formulation conferring the highest level of transferrable activity in such experimental systems is also probably the best option for full field application, unless some other considerations, such as persistence, acceptability, or cost are limiting.
The next most obvious parameter which might be maximized to enhance impact is the mean period of time that aquatic larval habitats persist but remain unproductive following contamination with PPF(U). The values for this parameter are determined and limited by the rate at which individual habitats are created and destroyed, or by the rate at which emergence activity decays in these habitats, whichever of these two rates is fastest. To a large extent, this parameter may have already been optimized to some degree simply by choosing PPF as the larvicide, because it is a relatively persistent active ingredient. However, the brief persistence times of approximately two weeks [60] for PPF in artificial habitats for immature stages of mosquitoes from the An. gambiae complex that were exposed to natural meteorological conditions and sunlight, are disappointing. The observations therefore suggest that there may yet be room to improve upon either the choice of active ingredient or its formulation, because many dry season habitats last much longer under natural conditions [36,39,[61][62]. In advance of full field trials, it would be important to measure the actual frequency distributions of habitat and PPF persistence in natural target ecosystems to determine whether both are sufficiently long to enable adequate accumulation of emergence inhibition activity.
Furthermore, proportional coverage of the ovipositing adult mosquito population (M) with PPF contamination (C M ) may be most readily and directly measured using appropriate labels to mark insects [56] making contact with resting site surfaces that are, or would be, treated with PPF [46]. In SFS, the diluting effect of the immigration of unlabelled mosquitoes upon the denominator and emigration of labelled mosquitoes upon the nominator, in the experimental results can be circumvented. However, under actual full field conditions, such an experiment would need to be conducted on a geographic scale large enough to negate the effect of mosquito dispersal [59,[63][64].
The number of oviposition events detected by sticky traps placed at samples of natural habitats (m l z;d Þ or subsets of habitats ðm l x;z;d Þ might initially appear to be a fundamental property of the ecosystem in question. However, it is also amenable to optimization by choosing the most effective approach to PPF autodissemination in the context of local community ecology of multiple mosquito species and other vector control methods that may be applied. While all demonstrations of successful PPF autodissemination to date [29,35] have used the target mosquito species itself to mediate PPF transfer to its own aquatic habitat, this does not necessarily have to be the case where the target species shares its aquatic habitats with others. In fact, if we examine this choice from a mathematical perspective, Eq 24 is clearly endogenous if the target species is used to mediate autodissemination because contamination coverage of larval habitats is clearly dependent upon adult mosquito density, reflected in the rate at which they are caught in sticky traps (C l $ m l z;d and C l;x $ m l x;z;d ). In biological terms, the impact of the autodissemination strategy will be self-limiting (lim m l z;d;0 !1 C l <1, where m l z;d;0 is the mean rate at which ovipositing mosquitoes are captured with sticky traps at the point where the autodissemination intervention is introduced) because increasing coverage of larval habitats will progressively reduce the densities of mosquitoes that enable it, unless either (1) larval populations of the target species are eliminated (C l !1)before the adult population driving it die off, and PPF contamination of those habitats persists longer than that remaining adult population so that reinfestation is prevented, or (2) a different mosquito species is used to mediate PPF transfer that co-occupies most of the target species habitats simultaneously or before the target species. Such a non-target mosquito species for autodissemination of PPF to target species aquatic habitats should also ideally behaviourally and/or physiologically resilient to control with other vector control measures that may be present, such as LLINs and IRS, so that it persists and oviposits at high densities (maximum m l z;d ) even as autodissemination progressively controls, and ideally eliminates [6], the target species.

Minimum threshold value combinations for measurable input parameters to render intervention impact plausible
If aquatic larval habitats are assumed to be created, destroyed, and replaced weekly, or that PPF activity lasts only a week in natural habitats [60] (U = 7 days), the minimum target of 90% coverage of aquatic larval habitats with PPF may be achieved if the proportional coverage of the ovipositing adult mosquito population (M) with PPF contamination (C M ) is at least 0.33 and the quotient of the ovitrap-detectable rates of oviposition by wild mosquitoes in natural aquatic habitats contact divided by the titre of contaminated mosquitoes required to render them unproductive ðm l z;d =T l z;d Þ approaches unity (Fig 2A). If aquatic larval habitats and PPF are assumed to persist for longer periods, the required thresholds of C M and m l z;d =T l z;d are less stringent and 90% contamination coverage of larval habitats with PPF may be achieved if values for all these determinants are considerably lower (Fig 2B-2D). For example, values of only 0.3 for both C M and m l z;d =T l z;d may be sufficient to contaminate 90% of habitats that persist and retain PPF activity for approximately one month (Fig 2C).
While infinite possible combinations of values for C M , m l z;d , and T l z;d exist that can result in a given level of predicted larval habitats coverage with PPF contamination (C l ), the apparent complexity of inputs and outputs illustrated by the responses surfaces in Fig 2 follow remarkably simple relationships: All the panels of Fig 2 are symmetric because of the simple multiplicative relationship between C M and m l z;d =T l z;d in Eq 24. In fact, the titre of contaminated mosquitoes required to render natural habitats unproductive appears in Eq 24 as its reciprocal 1=T l z;d , which is mathematically equivalent to the activity (A) of contaminated mosquitoes, so any increase in one of these terms can compensate exactly for a proportional decreases in the others, with the caveat that C M is a proportion and therefore constrained to values of less than one. Their combined effect can be represented as a direct function of their product, leaving the question as to how these three parameters may be optimized to achieve predicted threshold values for their product as an open matter for debate, experimentation, and measurement. Furthermore, because the autodissemination strategy is limited in applicability to the dry season, and essentially needs to eliminate malaria transmission [40], or even the vector population itself [6], before the rains return to be worthwhile, so very ambitious larval habitat coverage targets must be set (C l > 99%). Just like field measurement of progress in any elimination programme [65], visualizing simulated progress towards zero requires a corresponding change in perspective and scale. Fortunately, the combined influence of C M , m l z;d , and 1=T l z;d upon the availability of uncontaminated aquatic habitats (1-C l ) to the vector population is described by Eq 24 as a simple exponential decay. Therefore, the increasing threshold values that are required to achieve these more ambitious larval habitat coverage targets can be visualized as a log-linear function of their product (Fig 3).
Any autodissemination intervention aiming to eliminate malaria transmission or vector populations needs to achieve comprehensive coverage of essentially all habitats (1-C l < 0.01). Prospects for success at this high level of ambition will be limited by the most challenging, presumably ephemeral, of the subsets of targeted aquatic habitats, and recent studies from Kenya suggest that PPF activity may also not last much longer than a week [60]. The predicted threshold values for the product of C M , m l z;d , and T l z;d for such short-lived habitats and insecticides (U x = 7 days) therefore probably represent the most appropriate targets for optimizing and evaluating prototype autodissemination strategies based on field measurements of these three input parameters. As illustrated in Fig 3, values for C M m l z;d =T l z;d or C M m l x;z;d =T l x;z;d that approximately approach unity will be required to achieve at least 99% contamination coverage of this most challenging subset of habitats.

Discussion
The greatest strength and weakness of this model is its simplicity. The simple multiplicative relationship between C M and m l z;d =T l z;d , and the fact that their combined effect can be described as a simple exponential decay of uncontaminated aquatic habitats, allows ready application of this model by theoreticians and field biologists alike. The most important caveats and limitations to applying this model relate to uncertainties about the validity of the underlying simplifying assumptions and the natural or achievable ranges of its input parameters. Specific details and caveats we have deliberately chosen not to explicitly incorporate into the mathematical formulation presented here include: (1) Quantification of habitat size in absolute volumetric terms, and the transfer of PPF in terms of absolute dissolved concentration; (2) The endogenous feedback loop between autodissemination processes and their impact if the target mosquito species itself is used to deliver the PPF to aquatic habitats; (3) The latent effects of PPF upon adult mosquitoes exposed to sub-lethal doses as larvae [60] and; (4) The temporally dynamic and spatially complex nature of both adult and juveline mosquito populations, as well as malaria transmission.
No attempt was made to capture the detailed processes of PPF adsorption and delivery to aquatic habitats by mosquitoes in terms of mass quantities, or to calculate its concentration in solution following dilution into water bodies of defined volumetric size. While such explicit physico-chemical model components might be attractive in principle, they would probably only be practically useful if the amount of PPF carried and released by individual mosquitoes could be readily estimated and related to specific volumes of water bodies that can be contaminated. While the former is technically challenging at the very least, the latter is essentially impossible for the diverse, dynamic and poorly-defined natural aquatic habitats of mosquitoes from the An. gambiae complex [36,[38][39]. Also, such a chemically explicit approach would need to assume that PPF activity occurs only in solution, without any interactions with the various solutes and insoluble solid substrates or particulate matter that occur ubiquitously in real Anopheles habitats. Indeed, in our latest demonstration of successful autodissemination by An. arabiensis in large cages, the PPF activity exhibited by the contaminated habitats themselves appeared to be far greater than that of the water when it was removed for separate bioassay without the mud substrate [35]. The common biochemical approach of measuring and expressing effective activity of an agent under relevant conditions, rather than as mass quantity, was therefore adopted. Biochemical or biological activity can be expressed as the simple inverse of titer (A = 1/T), which can in turn be measured directly by titration. The measurable titer of detected oviposition events per sticky trap required to render a habitat or sample of habitats unproductive ðT l z;d or T l x;z;d ) is therefore directly included in this model, conveniently yielding a quotient by dividing into their natural detectable rates of oviposition input per unit of perimeter length (m l z;d or m l x;z;d ), so that the common unknown fractions of all oviposition events which are detected by both measurements cancel each other out (Eq 23).
Perhaps the most obvious limitation of this model is that it ignores the endogenous relationship that occurs between the output parameter and one of the input parameters if the target mosquito species is used to mediate PPF transfer: In simple terms, the success of the autodissemination strategy requires availability of gravid Anopheles mosquitoes to transfer PPF, but accumulation of PPF in aquatic habitats will inhibit emergence of those same mosquitoes. While incorporating delivery-impact endogeneity upon an Anopheles population which was both the target and mediator of autodissemination, would have improved the realism with which such an attempted application could be modelled, we have instead chosen to retain this feature so we could illustrate how such a strategy could be self-defeating. This flaw is deliberately retained in the model, not only because it allows dramatic, parsimonious simplification, but also because it lucidly illustrates the potential advantages of using a different mosquito species that shares the same aquatic habitats as the primary target for contamination at selected resting sites. For example both An. arabiensis and An. gambiae larvae typically share habitats with a variety of other Anopheles and far greater numbers of diverse Culicine species [36,39,66] so it may well be feasible to use these non-target species as vehicles for mediating autodissemination. Of course, using such non-target species as autodissemination vehicles may also be recursive or endogenous, but will nevertheless probably mediate higher sustained levels of PPF delivery than using the target Anopheles species, so long as they naturally outnumber them in their shared habitats under baseline conditions.
A number of factors prompted us not to explicitly capture the impact of sub-lethal doses upon the fecundity of adults exposed as larvae: (1) These sub-lethal effects occur over a relatively narrow range of concentrations relative to the logarithmic scales of parameter space explored here, with the doses that cause sub-lethal effects closely approaching those causing none because adult emergence is entirely inhibited [60]; (2) As explained above, the specific application of this approach as a dry season tool for elimination, rather than control, of malaria transmission [40][41] or even the vector population itself [6], necessitates very aggressive coverage targets; (3) The considerable uncertainties regarding the simplifying assumptions and parameters value ranges of even this simple model are therefore most probably far greater in magnitude than the contribution of these sub-lethal effects to overall impact; (4) Capturing such a minor component of overall impact would not be worth the additional model complexity. Indeed, a more detailed model would probably be prohibitively complex to be experimentally validated or worthwhile as a tool for planning and justifying large-scale field trials.
A variety of empirical field studies [42,[66][67] and theoretical simulation analyses [37,[68][69][70][71] have illustrated just how important the dynamism and spatial complexity of malaria transmission and vector population dynamics can be. The dispersal of gravid female mosquitoes from resting sites to oviposition sites, and the choices they make in selecting where exactly to deposit their eggs, can influence the distribution of both mosquito larvae and the autodisseminated PPF required to stifle their emergence as adults, as well as where subsequent malaria transmission occurs [37,[66][67][68][69]71]. Capturing the abundance, diversity and dynamism of all the resources that mosquitoes use is further complicated by the fact that most of them cannot be realistically classified into distinct categories that represent homogeneous systems. For example, the persistence, or required titre, of PPF in aquatic habitats may not fall into natural groupings but rather represent a continuum. All these factors and processes are very heterogeneous and wildly dynamic in real malaria-endemic ecosystems so a purely deterministic model like the one presented here, that assumes homogenous interactions between mosquitoes and their environment within a closed systems, can only capture and represent ecosystem-wide mean values that mask several subtle but important phenomena that arise in more realistic, heterogenous systems, particularly in relation to larval source management strategies [37,[68][69]. The development of autodissemination as a malaria control strategy can therefore benefit from simulation analyses using such advanced, more complex models to evaluate impact plausibility and optimize technical approaches to maximize impact. However, the complexity of such models is inevitably associated with disadvantages as well as advantages, and is therefore complementary to the simple, parsimonious, field-parameterizable formulation developed and presented here, rather than a substitute for it.
Perhaps the best example of how detailed consideration of the environmental and biological processes can allow the formulation of parsimonious solutions arises from the observation that the hydrological systems that support aquatic larval habitats approach steady-state conditions in the dry season [38,68] when the autodissemination strategy may be optimal for reasons detailed in the introduction. The model described by Eq 24 and the numerous applications described below all depend on the implicit assumption of steady-state conditions, despite the fact that African malaria vector populations are often considered to be highly dynamic, especially those of species from the Anopheles gambiae complex to which An. arabiensis belongs [36,39,42]. However, recent field observations [38] examining the hydrology of malaria in the particularly well-characterized village of Namwawalla in rural southern Tanzania, confirms that for 2 to 3 months of the dry season, essentially all larval habitat is continuously created and then destroyed by the receding groundwater table. The total quantity of aquatic habitat remains approximately stable but reflects a constant turnover of habitats with life-spans of days and weeks as the perimeter of water bodies recedes along varying gradients, even though many of the water bodies they are associated with may last for months [38]. The spatial distribution of optimal habitat across populations of depressions in the landscape varies from week to week as their shallowest fringes are first exposed and then drained by the dropping water table. Therefore, this can be treated as an example of a system of larval aquatic habitats and associated mosquito populations that are dynamic, but nevertheless approximate steady-state conditions. The parameters of Eq 24 may therefore, all be measured and reasonably used to predict impact of autodissemination strategies during the depth of the dry season from August to October. Other studies of dry season larval habitat ecology for members of the Anopheles gambiae species complex describe larval habitat dynamics that are at least as stable and provide several examples of where permanent or semi-permanent habitats are seasonally important during such annual minima of larval habitat availability and mosquito population density [36,39,[61][62]. Bearing in mind the limitations of any mathematical model, defined as a deliberately simplified representation of complex real world processes expressed in mathematical terms, Eq 24 may be applied to optimize prototype approaches to PPF autodissemination, and to assess the plausibility of success for specific approaches, based on field measurements of its input parameters.
So, while acknowledging the inevitable limitations of the parsimonious, measurement-oriented approach deliberately taken here, the remarkably simple formulation described in Eq 24 also has considerable advantages. All required inputs can be measured in the field, so recent successes in enclosed large-cage SFS may now be rationalized using this relational framework, and the plausibility of success under full field conditions can be evaluated a priori based on direct measurements in potential field sites. The model also defines measurable properties of different prototypes that may be conveniently and rapidly optimized under controlled experimental conditions to maximize chances of successful application at ecosystem scale in full field trials.

Conclusions
For autodissemination interventions to eliminate malaria transmission or vector populations during the dry season window of opportunity will require comprehensive and sufficient contamination of all aquatic habitats (C l !1), including the most challenging subset of these that persist or retain PPF activity for as little as a week (C l x ! 1, where U x = 7 days). The model presented here suggests that to achieve at least 99% contamination coverage of this ephemeral aquatic habitats subset will require values for the product of the proportion of the mosquito population that is contaminated multiplied by ovitrap-detectable rates of oviposition by wild mosquito into this subset of habitats, divided by the titre of contaminated mosquitoes required to render them unproductive, to approach unity ðC M m l x;z;d =T l x;z;d ! 1Þ.