Advanced Nonlinear Dynamics of Population Biology and Epidemiology
View this Special IssueResearch Article  Open Access
Can Chen, Yanni Xiao, "Modeling Saturated Diagnosis and Vaccination in Reducing HIV/AIDS Infection", Abstract and Applied Analysis, vol. 2014, Article ID 414383, 12 pages, 2014. https://doi.org/10.1155/2014/414383
Modeling Saturated Diagnosis and Vaccination in Reducing HIV/AIDS Infection
Abstract
A mathematical model is proposed to consider the effects of saturated diagnosis and vaccination on HIV/AIDS infection. By employing center manifold theory, we prove that there exists a backward bifurcation which suggests that the disease cannot be eradicated even if the basic reproduction number is less than unity. Global stability of the diseasefree equilibrium is investigated for appropriate conditions. When the basic reproduction number is greater than unity, the system is uniformly persistent. The proposed model is applied to describe HIV infection among injecting drug users (IDUs) in Yunnan province, China. Numerical studies indicate that new cases and prevalence are sensitive to transmission rate, vaccination rate, and vaccine efficacy. The findings suggest that increasing vaccination rate and vaccine efficacy and enhancing interventions like reducing share injectors can greatly reduce the transmission of HIV among IDUs in Yunnan province, China.
1. Introduction
Acquired immunodeficiency syndrome (AIDS) is spreading rapidly in the world ever since it was firstly detected in 1981 and continues to threaten the health of human seriously, especially among sex workers and injecting drug users. Furthermore, AIDS also influences the economy of many countries which has attracted great attention of governments. For such a severe scenario, the governments have taken intervention measures to reduce HIV transmission.
Mathematical models play a vital role in gaining a quantitative insight into HIV transmission dynamics and suggesting the effective control strategies. In order to study the effect of various intervention strategies on HIV transmission, extensive mathematical models have been formulated. Traditionally, models of HIV/AIDS dynamics often incorporate staged progression (see, e.g., [1–3]), but these did not include any control measures. Hyman et al. [4] extended these models to consider screening and contact tracing and discussed which strategy would slow infectiousness. Compartmental models with staged progression that incorporate the imperfect vaccine were constructed in [5] to predict HIV epidemic, but they did not consider diagnosis. Elbasha and Gumel [6] considered that a proportion of new recruits are vaccinated and upon becoming infected with HIV, susceptible and vaccinated individuals enter the classes of infected and vaccine infected people, separately. They showed the existence of backward bifurcation via numerical simulations. Sharomi et al. [7] explored the role of the choice of incidence function in HIV models formulated in [6] and obtained that the phenomenon of backward bifurcation can be removed by substituting the standard incidence function with a mass action incidence. In South Africa, testing and screening campaign was launched for HIV; Nyabadza and Mukandavire [8] analyzed their effects by developing HIV models. More recently, a model of HIV/AIDS with diagnosis was presented in [9]. The authors estimated parameter values and predicted its transmission in China in the next few years.
The majority of mathematical models consider only one control strategy, vaccination or diagnosis, for instance [5, 9]; however, curbing HIV/AIDS infection needs comprehensive strategies, since, under the serious threat of HIV, it may be more rational to adopt various measures for different high risk groups. These motivate us to consider two combined intervention measures, vaccination and diagnosis. Furthermore, due to the limited resources, we then choose a nonlinear function which can be used to describe saturation effect. We use a parameter , representing the half saturation constant, in the diagnosis function to measure the effect of HIV individuals being late for diagnosis [10]. When the number of infected individuals is low, the number of actual per capita diagnosed individuals is proportional to , whereas when the number of infected individuals is sufficiently large, there is a saturation effect which makes the number of diagnosed individuals approach to be constant due to the limitation of human and economic power. The number of new diagnosed cases per unit time is saturated with the total infected population.
The paper is organized as follows. The model is formulated in Section 2. The existence of backward bifurcation and the stability of the diseasefree equilibrium are discussed in Section 3. In Section 4, uniform persistence of the model is investigated. Numerical simulation results are concluded in Section 5. In Section 6, we give a brief summary.
2. The Model
The model describes the spread of HIV/AIDS in a high risk population. The total high risk population size at time , denoted by (), is subdivided into susceptible individuals (), vaccinated susceptible individuals (), HIV infected but not yet diagnosed individuals (), diagnosed HIVpositive individuals (), and those who have developed AIDS (), so that .
The equations of the model are where the incidence rate , denotes the transmission rate, and and illustrate the modification factors in the transmission coefficient of diagnosed HIVpositive individuals and AIDS patients, respectively. People enter into the susceptible class at a rate , become infected at a rate , and become vaccinated at a rate . Also is the natural death rate; denotes the waning rate of vaccine; represents the vaccine efficacy; is the diagnosis rate; and are the progression rate to diagnose HIVpositive individuals and AIDS patients, respectively; is the diseaseinduced death rate.
Since the model monitors change in the human population, the variables and parameters are assumed to be nonnegative for all . The system will be analyzed in a suitable feasible region , where . We can easily prove that the solutions of system (1) with nonnegative initial conditions remain nonnegative, and the feasible region is positively invariant and attracting with respect to system (1) for all .
3. Model Analysis
3.1. DiseaseFree Equilibrium and the Basic Reproduction Number
Model (1) has a diseasefree equilibrium (DFE), obtained by setting the righthand sides of system (1) to zero, represented as Following [11], the reproduction number can be established by using the next generation operator approach. The matrices for new infection and transition terms, respectively, given by and , are where .
Denote by the basic reproduction number as that is, the spectral radius of the next generation matrix . Biologically speaking, is the average number of new secondary infections generated by a single HIV infected individual, introduced into a susceptible population in which some individuals have been vaccinated.
3.2. Existence of Backward Bifurcation
Employing the center manifold theory as described in [12], we investigate the existence of backward bifurcation. In order to apply the center manifold theory, we make the following changes of variables: so that . We now use the vector notation , where denotes a matrix transpose. System (1) can then be written as , so that where .
If is taken as the bifurcation parameter and we consider the case , solving for gives ; that is, First of all, observe that the eigenvalues of the Jacobian matrix at [13], that is, ,are given by The other two eigenvalues satisfy the following equation: where Substituting (7) into and , we find Clearly, and are positive. Equation (10) has two roots with negative real parts. Hence, is a simple zero eigenvalue and all other eigenvalues have negative real parts. The assumptions in [12] are satisfied. Therefore, the center manifold theory can be used to analyze the dynamics of system (1) near (or, equivalently, ). The Jacobian matrix of system (1) at has a right eigenvector , given by . And it can be computed from the system ; that is, from (13), we derive the following solutions: The left eigenvector of is , denoted by . And it can be computed from the system ; that is, with the following solutions:
The local bifurcation analysis near () is then determined by the signs of two associated constants, denoted by and , respectively, as The computations of and are done as follows: for system (6) the associated nonzero partial derivatives of at the diseasefree equilibrium are Substituting (18) into (17), we get
From [14, 15], we know that if , , there exists a backward bifurcation. Since the bifurcation coefficient, , is always positive, then we establish the following result.
Theorem 1. If , system (1) exhibits a backward bifurcation when .
Due to existence of backward bifurcation we know that, for positive , there exists another critical value , which is less than unity, for model (1). Moreover, there is no endemic equilibrium for ; there are two distinct endemic equilibria for , and a unique endemic equilibrium exists for or . Numerical studies will confirm this in the end of this subsection.
We now analyze the endemic equilibrium of model (1). The equilibrium of model (1) can be obtained as follows: where Substituting (20) into the third equation of system (1), it is easy to derive the following equation: where Clearly, is a fixed point, which corresponds to the diseasefree equilibrium . For , we can obtain Define From model (1), it can be shown that if is a positive solution of , then , , , and are positive. Thus, the equilibrium is biologically relevant. Unfortunately, it is hard to solve the equation analytically; in the following we numerically show that this equation can have two positive roots, which confirms the existence of backward bifurcation. In Figure 1(a), is plotted versus for different values of and all other parameters are fixed. Figure 1(a) shows that an increase in would lead to curve becoming tangent to line 1 and defining a critical value and hold true. Figure 1(b) shows the occurrence of the backward bifurcation as parameter varies. We write as the threshold value to indicate as the bifurcation parameter while all other parameters are fixed. Define [16] below which the diseasefree equilibrium is unique equilibrium.
(a)
(b)
3.3. Stability Analysis of Equilibria
First, we have the following result on the local stability of .
Theorem 2. The diseasefree equilibrium of system (1) is locally asymptotically stable if and unstable otherwise.
Proof. By checking the Jacobian matrix of system (1) evaluated at , we know that the characteristic equation for has two eigenvalues as
and the others satisfy the following equation:
If the real parts of the roots of the equation are nonnegative, that is, , then [17]
Hence, if , such that , then , showing that there are no solutions to with positive real part. Hence, is locally asymptotically stable if . This proof is completed.
Then, using Lyapunov function we can get global stability of .
Theorem 3. The diseasefree equilibrium of system (1) is globally asymptotically stable if .
Proof. We note that no endemic equilibrium exists for . Then, is a unique equilibrium of system (1). We now consider a Lyapunov function:
The time derivative of is given by
Note that if . Furthermore, if and only if . Therefore, the largest compact invariant set in : , when , is the singleton . Thus, is globally asymptotically stable if . This completes the proof.
4. Persistence of the Model
In this section, we will prove that system (1) is uniformly persistent. First, we present the following definition that is similar to that in [18, 19].
Definition 4. Model (1) is said to be uniformly persistent if there exists a positive constant (independent of initial data) such that every solution with positive initial conditions satisfies , , , , and .
Theorem 5. If , system (1) is uniformly persistent; that is, there exists a positive constant , such that, for all initial values the solutions of system (1) satisfy , , , , and .
Proof. Define
It then suffices to show that system (1) is uniformly persistent with respect to . First, by the form of (1), it is easy to see that both and are positively invariant. Clearly, is relatively closed in . Furthermore, system (1) is point dissipative. Set
We now prove that
Assume that . It suffices to show that
If this is not true, then there exists a such that
or
or
or
or
or
For , , and , we get
It follows that there is an such that , , for . This proves that
which contradicts the assumption that . Similarly, we can obtain contradictions for other cases. This proves that
Note that is globally asymptotically stable in , and is an isolated invariant set in . That is to say, . Every orbit in converges to , and is acyclic in . We claim that for . If this is false, then we have . The system has a positive solution
where . Then
For , we can choose an small enough such that . Then, when is sufficiently large, we have
Define
Recall that the stability modulus of an matrix , denoted by , is defined as
Note that is irreducible and has nonnegative offdiagonal elements. It then follows that is a simple eigenvalue of with a (componentwise) positive eigenvector. Thus,
where
For , we obtain . Thus, is a simple positive eigenvalue of with a (componentwise) positive eigenvector. By comparison theorem, we get
which contradicts the assumption that
This proves that for . By [20], system (1) is uniformly persistent. Thus, the proof of the theorem is completed.
5. Numerical Simulations
5.1. Numerical Results
We initially investigate variation in with different vaccine efficacy, vaccination rate, and diagnosis rate to compare the impact of these intervention measures on HIV transmission. The parameter values in Table 1 are chosen based on HIV/AIDS transmission among IDUs in Yunnan province, China. For simplicity, we choose . Differentiating partially with respect to and , respectively, we obtain which implies that an increase of vaccination rate and vaccine efficacy leads to the basic reproduction number decline, as shown in Figure 2(a), in which the contour plots of versus vaccine efficacy and vaccination rate were plotted. It also shows that the basic reproduction number is more sensitive to vaccine efficacy than vaccination rate. Figure 2(b) shows the contour plot of with diagnosis rate and vaccination rate, which implies a decrease in with increasing diagnosis rate and vaccination rate . Furthermore, when of HIV individuals are diagnosed, vaccination level of at least would be needed to achieve . This suggests that the strategies of diagnosis and vaccination should be stringent enough to reduce .

(a)
(b)
Next, we consider the effect of different transmission rate, vaccination rate, vaccine efficacy, and recruitment rate on transmission of HIV/AIDS. We take the year 2004 as starting time; since then the policy of diagnosis is consistent. In [21], we get that the number of diagnosed HIVpositive individuals and AIDS patients in Yunnan province was 27168 and 1223 in year 2004, respectively. Besides, of these HIV individuals were transmitted by share injectors [22]. Hence, , . Note that the diagnosis rate is estimated to be 0.304 [9]; then we have . We have no reliable data on the number of susceptible individuals, that is, number of IDUs in Yunnan province. However, we know that 3.2 million blood samples were tested in Yunnan in [23]. We then assume that in these blood samples the fraction of share injectors is the same as fraction of transmission via share injectors (i.e., ). Then the number of susceptible individuals who share injectors is . If the vaccination rate is assumed to be 0.4, then . We obtain the initial values Figure 3 shows the variation in the number of HIV infected individuals with different transmission rates, vaccination rates, vaccine efficacy, and recruitment rates. It follows from Figure 3(a) that decreasing transmission rate could lead to the number of HIVpositive individuals decline. The effect of increasing vaccination rate on HIV transmission is shown in Figure 3(b) and it is seen that the number of HIVpositive individuals becomes much smaller if vaccination rate increases more. Figure 3(c) illustrates that, with increasing vaccine efficacy, the number of HIVpositive individuals decreases. Figure 3(d) shows that if the inflow of susceptible individuals into the community is restricted due to education, the disease spread will slow down.
(a)
(b)
(c)
(d)
5.2. Sensitivity Analysis
In this section, we use sensitivity analysis method [24] to investigate the impact of various intervention measures on HIV transmission in Yunnan province, China. We hope that these results obtained here could improve the knowledge of the effects of different interventions.
Figures 4(a) and 4(b) show the comparison of sensitivity coefficients of new cases and prevalence against parameters , , , , and , separately. Note that the sensitivity coefficient of new cases and prevalence can be interpreted as the percentage change in the number of new cases and prevalence for 1% decline in the parameters and or 1% increase in , , and , respectively [25]. In particular, let function be new cases or prevalence; the sensitivity coefficients of new cases and prevalence are given by
(a)
(b)
It follows from Figure 4 that a decrease in transmission coefficient causes new cases and prevalence decline substantially. Besides, an increase in vaccine efficacy and vaccination rate can lead to a decrease in new cases and prevalence, whereas the change of both diagnosis rate and recruitment rate slightly affects the new cases or prevalence. Thus, new cases and prevalence are sensitive to transmission coefficient, vaccine efficacy, and vaccination rate. Then, reducing the transmission coefficient and increasing the vaccine efficacy and vaccination rate can greatly reduce new cases and prevalence.
6. Conclusion
In this paper, we established an epidemic model to investigate effects of saturated diagnosis and vaccination on HIV transmission. It proved that backward bifurcation occurs by employing center manifold theory, which causes the diseasefree equilibrium to be locally asymptotically stable instead of globally asymptotically stable for . Thus, making the basic reproduction number less than unity is not enough to eliminate the HIV infection. We note that is equivalent to which means that only the vaccination rate is greater than ; HIV infection might be eliminated, depending on initial data. There exists the critical threshold , which cannot be explicitly expressed due to nonlinearity, such that when , the diseasefree equilibrium is globally asymptotically stable. However, if , the disease uniformly persists.
It is interesting to note that if the diagnosis is described linearly backward bifurcation does not happen. This implies that nonlinear diagnosis due to limited medical resources leads to backward bifurcation, and consequently complete elimination of HIV infection becomes difficult. That is, HIV infection might be extinct only by improving integrated interventions, which ensures that is less than and .
Since several candidate HIV vaccines are in development, it is useful to study the effectiveness. Moreover, the detection of HIVpositive individuals is limited due to medical resources. We then applied the proposed model with nonlinear diagnosis and vaccination to examine HIV infection among IDUs in Yunnan province, China. Sensitivity analysis shows that new cases and prevalence are sensitive to transmission rate, vaccine efficacy, and vaccination rate, whereas diagnosis rate and recruitment rate slightly affect both of them. Therefore, enlarging vaccination rate, improving vaccine efficacy, and lowering transmission rate by reducing sterile injecting equipment are beneficial to reduce transmission of HIV infection. In order to efficiently reduce HIV transmission, combined intervention strategies are suggested to be implemented simultaneously.
Effective antiretroviral therapy (ART) is an important strategy to slow down the progression to AIDS due to great reduction in viral loads and is not included in our model. Note that when HIV infected individuals are diagnosed and CD4 T cell counts decrease to 350 copies/μL, they will accept treatment. We will include treatment strategy to construct HIV/AIDS models to investigate the transmission of HIV/AIDS in the future work and provide policy makers with effective suggestions.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgments
The authors are supported by the National Megaproject of Science Research no. 2012ZX10001001, the National Natural Science Foundation of China (NSFC, 11171268 (YX)), the Fundamental Research Funds for the Central Universities (GK 08143042 (YX)), and the International Development Research Center, Ottawa, Canada (104519010).
References
 J. M. Hyman, J. Li, and E. A. Stanley, “The differential infectivity and staged progression models for the transmission of HIV,” Mathematical Biosciences, vol. 155, no. 2, pp. 77–109, 1999. View at: Google Scholar
 R. Naresh, A. Tripathi, and D. Sharma, “Modelling and analysis of the spread of AIDS epidemic with immigration of HIV infectives,” Mathematical and Computer Modelling, vol. 49, no. 56, pp. 880–892, 2009. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 F. Nyabadza, Z. Mukandavire, and S. D. HoveMusekwa, “Modelling the HIV/AIDS epidemic trends in South Africa: insights from a simple mathematical model,” Nonlinear Analysis: Real World Applications, vol. 12, no. 4, pp. 2091–2104, 2011. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 J. M. Hyman, J. Li, and E. A. Stanley, “Modeling the impact of random screening and contact tracing in reducing the spread of HIV,” Mathematical Biosciences, vol. 181, no. 1, pp. 17–54, 2003. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 A. B. Gumel, C. C. McCluskey, and P. van den Driessche, “Mathematical study of a stagedprogression HIV model with imperfect vaccine,” Bulletin of Mathematical Biology, vol. 68, no. 8, pp. 2105–2128, 2006. View at: Publisher Site  Google Scholar  MathSciNet
 E. H. Elbasha and A. B. Gumel, “Theoretical assessment of public health impact of imperfect prophylactic HIV1 vaccines with therapeutic benefits,” Bulletin of Mathematical Biology, vol. 68, no. 3, pp. 577–614, 2006. View at: Publisher Site  Google Scholar
 O. Sharomi, C. N. Podder, A. B. Gumel, E. H. Elbasha, and J. Watmough, “Role of incidence function in vaccineinduced backward bifurcation in some HIV models,” Mathematical Biosciences, vol. 210, no. 2, pp. 436–463, 2007. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 F. Nyabadza and Z. Mukandavire, “Modelling HIV/AIDS in the presence of an HIV testing and screening campaign,” Journal of Theoretical Biology, vol. 280, no. 1, pp. 167–179, 2011. View at: Publisher Site  Google Scholar  MathSciNet
 Y. Xiao, S. Tang, Y. Zhou, R. J. Smith, J. Wu, and N. Wang, “Predicting the HIV/AIDS epidemic and measuring the effect of mobility in mainland China,” Journal of Theoretical Biology, vol. 317, pp. 271–285, 2013. View at: Publisher Site  Google Scholar  MathSciNet
 X. Zhang and X. Liu, “Backward bifurcation of an epidemic model with saturated treatment function,” Journal of Mathematical Analysis and Applications, vol. 348, no. 1, pp. 433–443, 2008. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 P. van den Driessche and J. Watmough, “Reproduction numbers and subthreshold endemic equilibria for compartmental models of disease transmission,” Mathematical Biosciences, vol. 180, no. 12, pp. 29–48, 2002. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 C. CastilloChavez and B. Song, “Dynamical models of tuberculosis and their applications,” Mathematical Biosciences and Engineering, vol. 1, no. 2, pp. 361–404, 2004. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 B. Buonomo and D. Lacitignola, “On the backward bifurcation of a vaccination model with nonlinear incidence,” Nonlinear Analysis: Modelling and Control, vol. 16, no. 1, pp. 30–46, 2011. View at: Google Scholar  Zentralblatt MATH  MathSciNet
 S. D. HoveMusekwa, F. Nyabadza, and H. MambiliMamboundou, “Modelling hospitalization, homebased care, and individual withdrawal for people living with HIV/AIDS in high prevalence settings,” Bulletin of Mathematical Biology, vol. 73, no. 12, pp. 2888–2915, 2011. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 L. Zhou and M. Fan, “Dynamics of an SIR epidemic model with limited medical resources revisited,” Nonlinear Analysis: Real World Applications, vol. 13, no. 1, pp. 312–324, 2012. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 J. Arino, C. C. McCluskey, and P. van den Driessche, “Global results for an epidemic model with vaccination that exhibits backward bifurcation,” SIAM Journal on Applied Mathematics, vol. 64, no. 1, pp. 260–276, 2003. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 Z. Mukandavire and W. Garira, “Effects of public health educational campaigns and the role of sex workers on the spread of HIV/AIDS among heterosexuals,” Theoretical Population Biology, vol. 72, no. 3, pp. 346–365, 2007. View at: Publisher Site  Google Scholar
 Y. Kuang, Delay Differential Equations with Applications in Population Dynamics, vol. 191 of Mathematics in Science and Engineering, Academic Press, Boston, Mass, USA, 1993. View at: MathSciNet
 Y. Xiao and L. Chen, “Modeling and analysis of a predatorprey model with disease in the prey,” Mathematical Biosciences, vol. 171, no. 1, pp. 59–82, 2001. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 X.Q. Zhao, Dynamical Systems in Population Biology, CMS Books in Mathematics/Ouvrages de Mathématiques de la SMC, 16, Springer, New York, NY, USA, 2003. View at: MathSciNet
 T. Zhang, M. Jia, H. Luo, Y. Zhou, and N. Wang, “Study on a HIV/AIDS model with application to Yunnan province, China,” Applied Mathematical Modelling, vol. 35, no. 9, pp. 4379–4392, 2011. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 L. Lu, M. Jia, J. Lu, H. Luo, and X. Zhang, “Analysis of HIV/AIDS prevalence in Yunnan province,” Journal for China AIDS/STD, vol. 11, no. 3, pp. 172–175, 2005. View at: Google Scholar
 L. Lu, M. Jia, Y. Ma et al., “The changing face of HIV in China,” Nature, vol. 455, no. 7213, pp. 609–611, 2008. View at: Publisher Site  Google Scholar
 X. Xu, Y. Xiao, and N. Wang, “Modeling sexual transmission of HIV/AIDS in Jiangsu province, China,” Mathematical Methods in the Applied Sciences, vol. 36, no. 2, pp. 234–248, 2013. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 L. Liu, X.Q. Zhao, and Y. Zhou, “A tuberculosis model with seasonality,” Bulletin of Mathematical Biology, vol. 72, no. 4, pp. 931–952, 2010. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 L. Han, J. Lou, Y. Ruan, and Y. Shao, “The analysis of the HIV/AIDS mathematical model for the injection drug use population,” Journal of Biomathematics, vol. 23, no. 3, pp. 429–434, 2008. View at: Google Scholar
 N. Bacaër, X. Abdurahman, and J. Ye, “Modeling the HIV/AIDS epidemic among injecting drug users and sex workers in Kunming, China,” Bulletin of Mathematical Biology, vol. 68, no. 3, pp. 525–550, 2006. View at: Publisher Site  Google Scholar  MathSciNet
Copyright
Copyright © 2014 Can Chen and Yanni Xiao. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.