Incremental parameter estimation of kinetic metabolic network models
© Jia et al.; licensee BioMed Central Ltd. 2012
Received: 26 June 2012
Accepted: 7 November 2012
Published: 21 November 2012
An efficient and reliable parameter estimation method is essential for the creation of biological models using ordinary differential equation (ODE). Most of the existing estimation methods involve finding the global minimum of data fitting residuals over the entire parameter space simultaneously. Unfortunately, the associated computational requirement often becomes prohibitively high due to the large number of parameters and the lack of complete parameter identifiability (i.e. not all parameters can be uniquely identified).
In this work, an incremental approach was applied to the parameter estimation of ODE models from concentration time profiles. Particularly, the method was developed to address a commonly encountered circumstance in the modeling of metabolic networks, where the number of metabolic fluxes (reaction rates) exceeds that of metabolites (chemical species). Here, the minimization of model residuals was performed over a subset of the parameter space that is associated with the degrees of freedom in the dynamic flux estimation from the concentration time-slopes. The efficacy of this method was demonstrated using two generalized mass action (GMA) models, where the method significantly outperformed single-step estimations. In addition, an extension of the estimation method to handle missing data is also presented.
The proposed incremental estimation method is able to tackle the issue on the lack of complete parameter identifiability and to significantly reduce the computational efforts in estimating model parameters, which will facilitate kinetic modeling of genome-scale cellular metabolism in the future.
KeywordsIncremental parameter estimation Kinetic modeling Metabolic network GMA model
The estimation of unknown kinetic parameters from time-series measurements of biological molecules is a major bottleneck in the ODE model building process in systems biology and metabolic engineering. The majority of current estimation methods involve simultaneous (single-step) parameter identification, where model prediction errors are minimized over the entire parameter space. These methods often rely on global optimization methods, such as simulated annealing, genetic algorithms and other evolutionary approaches[1–3]. The problem of obtaining the best-fit parameter estimates however, is typically ill-posed due to issues related with data informativeness, problem formulation and parameter correlation, all of which contribute to the lack of complete parameter identifiability. Not to mention, finding the global minimum of model residuals over highly multidimensional parameter space is challenging and can become prohibitively expensive to perform on a computer workstation, even for tens of parameters.
Here, we consider the modeling of cellular metabolism using the canonical power-law formalism, specifically the generalized mass action (GMA) systems[4, 5]. The power-law formalism has many advantages, which have been detailed elsewhere[1, 6]. Notably, power laws have a relatively simple structure that permits algebraic manipulation in the logarithmic scale, but nonetheless is capable of describing essentially any nonlinearity. Regulatory interactions among metabolites can also be described straightforwardly through the kinetic order parameters, establishing an equivalence between structural identification and parametric estimation. However, the number of parameters increases proportionally with the number of metabolites and fluxes, leading to a large-scale parameter identification problem, one where single-step estimation methods often struggle to converge.
The integration of ODE often constitutes a major part of the computational cost in the parameter estimation, especially when the ODE model is stiff. While stiffness can genuinely arise due to a large time scale separation of the reaction kinetics in the real system, stiff ODEs could also result from unrealistic combinations of parameter values during the parameter optimization procedure, especially when a global optimizer is used. The parameter estimation of ODE models using power-law kinetics is particularly prone to stiffness problem since many of the unknown parameters are the exponents of the concentrations. For this reason, alternative formulations have been proposed that avoid these ODE integrations either completely[7, 8] or partially[9–11]. Particularly, computational cost could be significantly reduced by decomposing the estimation problem into two phases, starting with the calculation of dynamic reaction rates or fluxes from the slopes of concentration data, followed by the least square regressions of kinetic parameters[12–14]. In this case, the final parameter estimation is done one flux at a time, each involving only a handful of parameters and thus, the global minimum solution can be either computed analytically (for example, when using log-linear power-law flux functions) or determined efficiently. Moreover, as the first estimation phase (flux estimation) depends only on the assumption of the topology of the metabolic network, the flux estimates can subsequently be used to guide the selection of the most appropriate flux functions for the second phase or to detect inconsistencies in the assumed topology of the network separately from the flux equations. However, the application of this method requires the number of metabolites to be equal to or larger than that of fluxes, so that the flux estimation can result in a unique solution. Since the reverse situation is more commonly encountered in the typical metabolic networks, a generalization of this incremental estimation approach becomes the main focus in this study.
As noted above, the new parameter estimation method in this work is built on the concept of incremental identification[12, 13] or dynamical flux estimation (DFE) method[14, 15]. The proposed method provides two new contributions: (1) an ability to handle the more general scenario, where the number of reactions exceeds that of the metabolites and (2) high numerical efficiency through the reduction of the parameter search space. Specifically, two parameter estimation formulations are proposed with objective functions that depend on model prediction errors of metabolite concentrations and of concentration time-slopes. An extension of this strategy to circumstances where concentration data of some metabolites are missing is also presented. The proposed method is applied to two previously published GMA models and compared with single-step estimation methods, in order to demonstrate its efficacy.
where γ j is the rate constant of the j-th flux and f ji is the kinetic order parameter, representing the influence of metabolite X i on the j-th flux (positive: X i is an activating factor or a substrate, negative: X i is an inhibiting factor). In incremental parameter identification, a data pre-processing step (e.g. smoothing or filtering) is usually applied to the noisy time-course concentration data X m (t k ), in order to improve the time-slope estimates. Subsequently, the dynamic metabolic fluxes v(t k ) are estimated from Equation (1) by substituting with Finally, the kinetic parameters associated with the j-th flux (i.e. γ j and f ji ’s) can be calculated using a least square regression of the power law flux function in Equation (2) against the estimated v j (t k ). Note that for GMA models, the least square parameter regressions in the last step are linear in the logarithmic scale and thus, can be performed very efficiently.
A unique set of dynamic flux values v(t k ) can only be computed from when the number of metabolites exceeds that of fluxes. However, a metabolite in general can participate in more than one metabolic flux (m < n). In such a situation, there exist an infinite number of dynamic flux combinations v(t k ) that satisfy The dimensionality of the set of flux solutions is equal to the degree of freedom (DOF), given by the difference between the number of fluxes and the number of metabolites: n DOF = n-m >0 (assuming S has a full row rank, i.e. there is no redundant ODE in Equation (1)). The positive DOF means that the values of n DOF selected fluxes can be independently set, from which the remaining fluxes can be computed. This relationship forms the basis of the proposed estimation method, in which the model goodness of fit to data is optimized by adjusting only a subset of parameters associated with the independent fluxes above.
In this case, given p I , one can compute the independent fluxes v I (X m (t k ),p I ) using the concentration data X m (t k ), and subsequently obtain v D (t k ) from Equation (3). Finally, p D can be estimated by a simple least square fitting of v D (X m (t k ),p D ) to the computed v D (t k ) one flux at a time, when there are more time points than the number of parameters in each flux.
There are several important practical considerations in the implementation of the proposed method. The first consideration is on the selection of the independent fluxes. Here, the set of these fluxes is selected such that (i) the m × m submatrix S D is invertible, (ii) the total number of the independent parameters p I is small, and (iii) the prior knowledge of the corresponding p I is maximized. The last two aspects should lead to a reduction in the parameter search space and the cost of finding the global optimal solution of the minimization problem in Figure1. The second consideration is regarding constraints in the parameter estimation. Biologically relevant values of parameters are often available, providing lower and/or upper bounds for the parameter estimates. In addition, enzymatic reactions in the ODE model are often assumed to be irreversible and thus, dynamic flux estimates are constrained to be positive. Hence, the parameter estimation involves a constrained minimization problem, for which many global optimization algorithms exist.
Two case studies: a generic branched pathway and the glycolytic pathway of L. lactis, were used to evaluate the performance of the proposed estimation method. In addition, simultaneous estimation methods employing the same objective functions in Equations (4) and (5) were applied to these case studies, to gauge the reduction in the computational cost from using the proposed strategy. In order to alleviate the ODE stiffness issue, parameter combinations that lead to a violation in the MATLAB (ode15s) integration time step criterion is assigned a large error value (ΦC = 103 for the branched pathway and 105 for the glycolytic pathway). Alternatively, one could also set a maximum allowable integration time and penalize the associated parameter values upon violation, as described above. In this study, the optimization problems were solved in MATLAB using publicly available eSSM GO (Enhanced Scatter Search Method for Global Optimization) toolbox, a population-based metaheuristic global optimization method incorporating probabilistic and deterministic strategies[17, 18]. The MATLAB codes of the case studies below are available in Additional file1. Each parameter estimation was repeated five times to ensure the reliability of the global optimal solution. Unless noted differently, the iterations in the optimization algorithm were terminated when the values of objective functions improve by less than 0.01% or the runtime has exceeded the maximum duration (5 days).
A generic branched pathway
Here, v 1 and v 6 were chosen as the independent fluxes as they comprise the least number of kinetic parameters and lead to an invertible S D . The two rate constants and two kinetic orders were constrained to within [0,25] and [0,2], respectively. In addition, all the reactions are assumed to be irreversible.
Parameter estimations of the branched pathway model using noise-free data
CPU time (sec) a
620.81 ± 64.30
95.95 ± 11.09
1.56 ± 0.19
eSSM GO iterations
4390 ± 391
14 ± 4
10 ± 2
Parameter error (%)
36.91% ± 1.09
21.56% ± 7.57 × 10-2
36.85% ± 6.48 × 10-3
4.54 × 10 -3
6.54 × 10-3 ± 5.20 × 10-5
4.03 × 10 -3 ± 6.22 × 10-8
6.00 × 10-3 ± 5.05 × 10-7
7.01 × 10-2
2.72 × 10 -2 ± 1.09 × 10-5
3.92 × 10-2 ± 9.86 × 10-6
2.76 × 10 -2 ± 4.46 × 10-10
Parameter estimations of the branched pathway model using noisy data
min Φ S
min Φ C
min Φ S
CPU time (sec)
534.83 ± 22.12
71.88 ± 6.33
1.17 ± 0.12
eSSM GO iterations
3494 ± 348
12 ± 2
10 ± 3
Parameter error (%)
54.36 ± 4.47
75.77 ± 6.11 × 10-3
51.15 ± 1.38 × 10-3
3.62 × 10 -2
6.06 × 10-2 ± 1.14 × 10-3
3.52 × 10 -2 ± 9.50 × 10-9
4.76 × 10-2 ± 3.81 × 10-7
3.27 × 10 -2
2.06 × 10-1
1.34 × 10 -1 ± 6.02 × 10-4
1.64 × 10-1 ± 2.23 × 10-5
1.38 × 10 -1 ± 2.26 × 10-10
1.60 × 10-1
Finally, the estimation strategy described in Figure2 was applied to this example using noise-free data and assuming X 3 data were missing. Fluxes v 3 and v 4 that appear in were chosen to be among the independent fluxes and flux v 1 was also added to the set such that the dependent fluxes can be uniquely determined from Equation (7). In addition to the parameters associated with the aforementioned fluxes, the initial condition X 3 (t 0 ) was also estimated. The bounds for the rate constants and kinetic orders were kept the same as above, while the initial concentration was bounded within [0, 5].
Parameter estimations of the branched pathway model using noise-free data with X 3 missing
min Φ S
min Φ C
min Φ S
CPU time (sec)
4002.01 ± 696.11
1404.22 ± 120.71
445.47 ± 35.94
eSSM GO iterations
365 ± 91
67 ± 10
48 ± 10
Parameter error (%)
43.50 ± 2.34
68.85 ± 4.57
40.47 ± 0.59
4.54 × 10 -3
6.46 × 10-3 ± 4.08 × 10-4
3.38 × 10 -3 ± 1.14 × 10-4
5.94 × 10-3 ± 3.23 × 10-5
2.99 × 10 -2 ± 3.82 × 10-4
8.32 × 10-2 ± 4.04 × 10-3
2.94 × 10 -2 ± 2.77 × 10-6
The glycolytic pathway in Lactococcus. lactis
Fluxes v 4 , v 7 and v 9 were selected as the DOF, again to give the least number of p I and to ensure that S D is invertible. All rate constants were constrained to within [0, 50], while the independent and dependent kinetic orders were allowed within [0, 5] and [-5, 5], respectively. The difference between the bounds for the independent and dependent kinetic orders was done on purpose to simulate a scenario where the signs of the independent kinetic orders were known a priori.
Parameter estimations of the L. lactis model
min Φ S
min Φ C
min Φ S
CPU time (sec)
3476.89 ± 349.63
976.72 ± 31.01
20.82 ± 2.71
eSSM GO iterations
1662 ± 282
4 ± 1
33 ± 7
2.20 ± 8.81 × 10-3
6.18 ± 7.28 × 10-2
2.67 ± 1.93 × 10-4
1.51 × 103 ± 52.50
5.79 ± 9.62 × 10-4
In this study, an incremental strategy is used to develop a computationally efficient method for the parameter estimation of ODE models. Unlike most commonly used methods, where the parameter estimation is performed to minimize model residuals over the entire parameter space simultaneously, here the estimation is done in two incremental steps, involving the estimation of dynamic reaction rates or fluxes and flux-based parameter regressions. Importantly, the proposed strategy is designed to handle systems in which there exist extra degrees of freedom in the dynamic flux estimation, when the number of metabolic fluxes exceeds that of metabolites. The positive DOF means that there exist infinitely many solutions to the dynamic flux estimation, which is one of the factors underlying the parameter identifiability issues plaguing many estimation problems in systems biology[23, 24].
The main premise of the new method is in recognizing that while many equivalent solutions exist for the dynamic flux estimation, the subsequent flux-based regression will give parameter values with different goodness-of-fit, as measured by ΦC or ΦS. In other words, given any two dynamic flux vectors v(t k ) satisfying the associated parameter pairs (p I , p D ) may not predict the slope or concentration data equally well, due to differences in the quality of parameter regression for each v(t k ). Also, because of the DOF, the minimization of model residuals needs to be done only over a subset of parameters that are associated with the flux degrees of freedom, resulting in much reduced parameter search space and correspondingly much faster convergence to the (global) optimal solution. The superior performance of the proposed method over simultaneous estimation was convincingly demonstrated in the two GMA modeling case studies in the previous section. The minimization of slope error, also known as slope-estimation-decoupling strategy method, is arguably one of the most computationally efficient simultaneous methods. In this strategy, the parameter fitting essentially constitutes a zero-finding problem and the estimation can be done without having to integrate the ODEs. Yet, the incremental estimation could offer more than two orders of magnitude reduction in the computational time over this strategy.
There are many factors, including data-related, model-related, computational and mathematical issues, which contribute to the difficulty in estimating kinetic parameters of ODE models from time-course concentration data. Each of these factors has been addressed to a certain degree by using the incremental identification strategy presented in this work. For example, in data-related issues, the proposed method can be modified to handle the absence of concentration data of some metabolites, as shown in Figure2. Nevertheless, the method is neither able nor expected to resolve the lack of complete parameter identifiability due to insufficient (dynamical) information contained in the data[23, 24]. As illustrated in the first case study, single-step and incremental approaches provided parameter estimates with similar accuracies, which expectedly deteriorated with noise contamination and loss of data.
The appropriateness of using a particular mathematical formulation, like power law, is an example of model-related issues. As discussed above, this issue can be addressed after the dynamic fluxes are estimated, where the chosen functional dependence of the fluxes on a specific set of metabolite concentrations can be tested prior to the parameter regression. Next, the computational issues associated with performing a global optimization over a large number of variables and the need to integrate ODEs have been mitigated in the proposed method by performing optimization only over the independent parameter subset and using a minimization of slope error, respectively. Finally, in this work, we have also addressed a mathematical issue related to the degrees of freedom that exist during the inference of dynamic fluxes from slopes of concentration data. However, extra degrees of freedom (mathematical redundancies) are also expected to influence the second step of the method, i.e. one-flux-at-a-time parameter estimation. For (log)linear regression of parameters in GMA models, such redundancy will lead to a lack of full column rank of the matrix containing the logarithms of concentration data X m (t k ) and thus, can be straightforwardly detected.
The proposed estimation method has several weaknesses that are common among incremental estimation methods. As demonstrated in the first case study, the accuracy of the identified parameter relies on the ability to obtain good estimates of the concentration slopes. Direct slope estimation from the raw data, for example using central finite difference approximation, is usually not advisable due to high degree of noise in the typical biological data. Hence, pre-smoothing of the time-course data is often required, as done in this study. Many algorithms are available for such purpose, from simplistic polynomial regression and splines to more advanced artificial neural network[7, 25] and Whittaker-Eilers smoother[26, 27]. If reliable concentration slope estimates are not available, but bounds for the slope values can be obtained, then one can use interval arithmetic to derive upper and lower limits for the dependent fluxes and parameters using Equation (3) (or Equation (7). When the objective function involves integrating the model, validated solution to ODE with interval parameters can be used to produce the corresponding upper and lower bounds of concentration predictions. Finally, the estimation can be reformulated, for example by minimizing the upper bound of the objective.
In addition to the drawback discussed above, the proposed strategy requires a priori knowledge about the topology of the network. For cellular metabolism, such information has become more readily available as genome-scale metabolic network of many important organisms, including human, E. coli and S. cereviseae, have been and are continuously being reconstructed. For other networks, many algorithms also exist for the estimation of network topology based on time-series concentration data, including Bayesian network inference, transfer entropy, and Granger causality[31–33].
The estimation of kinetic parameters of ODE models from time-course concentration data remains a key bottleneck in model building in systems biology. The lack of complete parameter identifiability has been blamed as the root cause of the difficulty in such estimation. In this study, a new incremental estimation method is proposed that is able to overcome the existence of extra degrees of freedom in the dynamic flux estimation from concentration slopes and to significantly reduce the computational requirements in finding parameter estimates. The method can also be applied, after minor modifications, to circumstances where concentration data for a few molecules are missing. While the present work concerns with the GMA modeling of metabolic networks, the estimation strategies discussed in this work have general applicability to any kinetic models that can be written as The creation of computationally efficient parameter estimation methods, such as the one presented here, represents an important step toward genome-scale kinetic modeling of cellular metabolism.
Singapore-MIT Alliance and ETH Zurich.
- Chou IC, Voit EO: Recent developments in parameter estimation and structure identification of biochemical and genomic systems. Math Biosci. 2009, 219 (2): 57-83.View Article
- Mendes P, Kell D: Non-linear optimization of biochemical pathways: applications to metabolic engineering and parameter estimation. Bioinformatics. 1998, 14 (10): 869-883.View Article
- Moles CG, Mendes P, Banga JR: Parameter estimation in biochemical pathways: a comparison of global optimization methods. Genome Res. 2003, 13 (11): 2467-2474.View Article
- Savageau MA: Biochemical systems analysis. I. Some mathematical properties of the rate law for the component enzymatic reactions. J Theor Biol. 1969, 25 (3): 365-369.View Article
- Savageau MA: Biochemical systems analysis. II. The steady-state solutions for an n-pool system using a power-law approximation. J Theor Biol. 1969, 25 (3): 370-379.View Article
- Voit EO: Computational analysis of biochemical systems: a practical guide for biochemists and molecular biologists. 2000, New York: Cambridge University Press
- Voit EO, Almeida J: Decoupling dynamical systems for pathway identification from metabolic profiles. Bioinformatics. 2004, 20 (11): 1670-1681.View Article
- Tsai KY, Wang FS: Evolutionary optimization with data collocation for reverse engineering of biological networks. Bioinformatics. 2005, 21 (7): 1180-1188.View Article
- Kimura S, Ide K, Kashihara A, Kano M, Hatakeyama M, Masui R, Nakagawa N, Yokoyama S, Kuramitsu S, Konagaya A: Inference of S-system models of genetic networks using a cooperative coevolutionary algorithm. Bioinformatics. 2005, 21 (7): 1154-1163.View Article
- Maki Y, Ueda T, Masahiro O, Naoya U, Kentaro I, Uchida K: Inference of genetic network using the expression profile time course data of mouse P19 cells. Genome Inform. 2002, 13: 382-383.
- Jia G, Stephanopoulos G, Gunawan R: Parameter estimation of kinetic models from metabolic profiles: two-phase dynamic decoupling method. Bioinformatics. 2011, 27 (14): 1964-1970.View Article
- Bardow A, Marquardt W: Incremental and simultaneous identification of reaction kinetics: methods and comparison. Chem Eng Sci. 2004, 59 (13): 2673-2684.View Article
- Marquardt W, Brendel M, Bonvin D: Incremental identification of kinetic models for homogeneous reaction systems. Chem Eng Sci. 2006, 61 (16): 5404-5420.View Article
- Goel G, Chou IC, Voit EO: System estimation from metabolic time-series data. Bioinformatics. 2008, 24 (21): 2505-2511.View Article
- Voit EO, Goel G, Chou IC, Fonseca LL: Estimation of metabolic pathway systems from different data sources. IET Syst Biol. 2009, 3 (6): 513-522.View Article
- Voit EO, Almeida J, Marino S, Lall R, Goel G, Neves AR, Santos H: Regulation of glycolysis in Lactococcus lactis: an unfinished systems biological case study. Syst Biol (Stevenage). 2006, 153 (4): 286-298.View Article
- Egea JA, Rodriguez-Fernandez M, Banga JR, Marti R: Scatter search for chemical and bio-process optimization. J Global Optimization. 2007, 37 (3): 481-503.View Article
- Rodriguez-Fernandez M, Egea JA, Banga JR: Novel metaheuristic for parameter estimation in nonlinear dynamic biological systems. BMC Bioinformatics. 2006, 7: 483-View Article
- Akaike H: New Look at Statistical-Model Identification. IEEE T Automat Contr. 1974, Ac19 (6): 716-723.View Article
- Montgomery DC, Runger GC: Applied statistics and probability for engineers. 2007, Hoboken, NJ: Wiley, 4
- Neves AR, Ramos A, Costa H, van Swam II, Hugenholtz J, Kleerebezem M, de Vos W, Santos H: Effect of different NADH oxidase levels on glucose metabolism by Lactococcus lactis: kinetics of intracellular metabolite pools determined by in vivo nuclear magnetic resonance. Appl Environ Microbiol. 2002, 68 (12): 6332-6342.View Article
- Neves AR, Ramos A, Nunes MC, Kleerebezem M, Hugenholtz J, de Vos WM, Almeida J, Santos H: In vivo nuclear magnetic resonance studies of glycolytic kinetics in Lactococcus lactis. Biotechnol Bioeng. 1999, 64 (2): 200-212.View Article
- Raue A, Kreutz C, Maiwald T, Bachmann J, Schilling M, Klingmuller U, Timmer J: Structural and practical identifiability analysis of partially observed dynamical models by exploiting the profile likelihood. Bioinformatics. 2009, 25 (15): 1923-1929.View Article
- Srinath S, Gunawan R: Parameter identifiability of power-law biochemical system models. J Biotechnol. 2010, 149 (3): 132-140.View Article
- Almeida JS: Predictive non-linear modeling of complex data by artificial neural networks. Curr Opin Biotechnol. 2002, 13 (1): 72-76.View Article
- Eilers PH: A perfect smoother. Anal Chem. 2003, 75 (14): 3631-3636.View Article
- Vilela M, Borges CC, Vinga S, Vasconcelos AT, Santos H, Voit EO, Almeida JS: Automated smoother for the numerical decoupling of dynamics models. BMC Bioinformatics. 2007, 8: 305-View Article
- Jaulin L, Kieffer M, Didrit O, Walter E: Applied interval analysis: with examples in parameter and state estimation, robust control and robotics. 2001, London: SpringerView Article
- Lin YD, Stadtherr MA: Validated solution of ODEs with parametric uncertainties. 16th European Symposium on Computer Aided Process Engineering and 9th International Symposium on Process Systems Engineering. 2006, 21: 167-172.View Article
- Latendresse M, Paley S, Karp PD: Browsing metabolic and regulatory networks with BioCyc. Methods Mol Biol. 2012, 804: 197-216.View Article
- Imoto S, Kim S, Goto T, Miyano S, Aburatani S, Tashiro K, Kuhara S: Bayesian network and nonparametric heteroscedastic regression for nonlinear modeling of genetic network. J Bioinform Comput Biol. 2003, 1 (2): 231-252.View Article
- Nagarajan R, Upreti M: Comment on causality and pathway search in microarray time series experiment. Bioinformatics. 2008, 24 (7): 1029-1032.View Article
- Tung TQ, Ryu T, Lee KH, Lee D: Inferring gene regulatory networks from microarray time series data using transfer entropy. Proceedings of the Twentieth IEEE International Symposium on Computer-Based Medical Systems:20-22 June 2007; Maribor, Slovenia. Edited by: Kokol P, Los A. 2007, Los Alamitos: IEEE Computer Society, 383-388.View Article
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.