On the utility of a compartmental population kinetics model of intestinal epithelial stem cell proliferation and differentiation

Background The small intestinal epithelium is a dynamic system with specialized cell types. The various cell populations of this tissue are continually renewed and replenished from stem cells that reside in the small intestinal crypt. The cell types and their locations in the crypt and villus are well known, but the details of the kinetics of stem cell division, and precursor cell proliferation and differentiation into mature enterocytes and secretory cells are still being studied. These proliferation and differentiation events have been extensively modeled with a variety of computational approaches in the past. Methods A compartmental population kinetics model, incorporating experimentally measured proliferation rates for various intestinal epithelial cell types, is implemented for a previously reported scheme for the intestinal cell dynamics. A sensitivity analysis is performed to determine the effect that varying the model parameters has upon the model outputs, the steady-state cell populations. Results The model is unable to reproduce the experimentally known timescale of renewal of the intestinal epithelium if literature values for the proliferation rates of stem cells and transit amplifying cells are employed. Unphysically large rates of proliferation result when these parameters are allowed to vary to reproduce this timescale and the steady-state populations of terminally differentiated intestinal epithelial cells. Sensitivity analysis reveals that the strongest contributor to the steady-state populations is the transit amplifying cell proliferation rate when literature values are used, but that the differentiation rate of transit amplifying cells to secretory progenitor cells dominates when all parameters are allowed to vary. Conclusions A compartmental population kinetics model of proliferation and differentiation of cells of the intestinal epithelium can provide a simplifying means of understanding a complicated multistep process. However, when literature values for proliferation rates of the crypt based columnar and transit amplifying cell populations are employed in the model, it cannot reproduce the experimentally known timescale of intestinal epithelial renewal. Nevertheless, it remains a valuable conceptual tool, and its sensitivity analysis provides important clues for which events in the process are the most important in controlling the steady-state populations of specialized intestinal epithelial cells. Electronic supplementary material The online version of this article (10.1186/s12976-017-0071-8) contains supplementary material, which is available to authorized users.


Background
The cell dynamics of the small intestine epithelium is increasingly well studied from both an experimental as well as a theoretical direction. The population and maintenance of its finely-tuned balance of absorptive and secretory cell populations from the intestinal crypt has become an archetypal example of homeostasis regulated by a stem cell niche. It has been demonstrated by the Clevers group that the intestinal stem cell is the crypt based columnar (CBC) cell that resides between Paneth cells at the crypt base and expresses the marker Lgr5 [1]. These stem cells divide both to maintain their own population and remain at the base of the crypt, and to produce proliferative transit amplifying cells that migrate up the crypt [2,3], and further divide and differentiate into terminally differentiated cell populations of the intestinal epithelium: the absorptive enterocytes; and the secretory goblet cells [4]; enteroendocrine cells [5,6]; and Paneth cells [7][8][9]. Another secretory cell, the Tuft cell, has also been described [10]. Each crypt has about 250 cells, and each villus, about 3500 cells [8], although these values vary depending on the position along the small bowel [11]. The signaling mechanisms governing the fate of transit amplifying cells to enterocytes or one of the secretory cell types are complex and under active study, but broadly include the Wnt pathway, which regulates proliferation in the crypt base, and Notch signaling, which determines whether transit amplifying cells and other intermediate cell populations will go down the absorptive or secretory pathways [12].
The complexity of the population dynamics of the intestinal epithelium, combined with the continually evolving amount of experimental data available about the system, has long made it an attractive target for mathematical simulation [13]. Moreover, the 3dimensional structure of the crypt, and crypt-villus unit in the small intestine, naturally lends itself to models incorporating a spatial component. One significant early approach was that of a stochastic lattice model, early examples of which, while constructed before the definitive identity of the CBC cell as the intestinal stem cell, nevertheless correctly predicted the location of the stem cells as being in close contact with Paneth cells at the bottom of the crypts [14,15]. More recently, multiscale models have been proposed that incorporate population dynamics, signaling, and the topology of the crypt without the constraint of a lattice [16][17][18]; these models include a cell-cell surface interaction using intercellular springs obeying Hooke's Law. A compartmental Monte Carlo model has also been described [19]. This work was able to reproduce the experimentally known localization of Paneth cells to the crypt base without the need for a constraint force to be built into the model. Another approach for a variety of modeling problems is that of agent-based modeling, which has recently been employed to simulate colonic crypts both in normal steady-state conditions and in colon cancer [20]. These authors used the NetLogo platform [21] to construct a model which was calibrated to experimental data for normal crypt dynamics, but which could also be tuned to simulate overproliferation in cancer, as well as the effects of cytotoxic chemotherapy. Perhaps one of the most comprehensive approaches described to date incorporated both mechanical cell-cell interaction and cell interaction with Wnt and Notch signaling from their local environment, and has been used to simulate both intestinal crypts as well as organoids in culture [22,23].
During the differentiation process in the small intestinal epithelium, it has been suggested that there are common progenitor cells that may differentiate into various subsets of the five terminally differentiated populations. For example, it has been proposed that the goblet cell compartment arises, at least in part, from an "oligomucous" cell type that, while maintaining proliferative ability, nevertheless is committed to goblet cell differentiation [24][25][26]. More recently, a progenitor cell specific for the Paneth and goblet cell populations, or "intermediate cell" [27][28][29] has been described. Samuelson and coworkers [30] were able to demonstrate experimentally the presence of such a progenitor population based upon co-immunofluorescence staining for immunofluorescent markers of both goblet and Paneth cells. They summarized their work in a simple but conceptually elegant scheme for how cells in the intestinal epithelium divide and differentiate into the terminally differentiated cell populations, including the newly demonstrated progenitors. A compartmental scheme like this lends itself naturally to a deterministic compartmental model of the cell dynamics. The goal of this work was to apply the simplicity of a first-order, ordinary differential equations compartmental kinetics model to the well-defined scheme for the intestinal epithelium described in [30], constrained by experimentally known timescales for epithelial renewal and proliferation for some of the epithelial cell populations, in order to extract the differentiation rates of those cell types for which no experimental value is yet known. For this reason, our model differs from the previously discussed examples, in that it does not include any information about the topologic layout of the cryptvillus axis. Rather, it is entirely deterministic, and information about movement of cells along that axis is contained only implicitly, in averaged way, in the differential equations describing movement between compartments. It is important to remark that the model described in reference [19] incorporated intermediate cells (goblet/ Paneth progenitors, as well as absorptive progenitors). Also, Johnston and coworkers have compared an age-structured model of the colonic crypt with a compartmental model similar in many respects to the ODE approach taken here [31]. In simulating colorectal cancer with a continuous model, these workers found that increased cell renewal can result in tumor growth. However, to our knowledge, the current work is the first to employ a continuous, ODE-type compartmental model for intestinal epithelial proliferation and differentiation with the goal of extracting unknown rates of progenitor proliferation and differentiation.

Modeling approach
We apply a first order, ordinary differential equations (ODE) compartmental model to the scheme published by Samuelson's group as shown in Fig. 7 of ref. [30]. We have (with permission) reproduced and modified it slightly in Fig. 1. We identify the yellowcolored cell population in their figure as the transit-amplifying cell (TAC) and assign phenomenological rate constants to each differentiation event. This leads to the series of differential equations: where the symbols have the meanings described in Tables 1 and 2. We note that for a constant, steady-state population of crypt-based columnar cells, by construction k 1 must equal α, or equivalently, dCBC dt ¼ 0. It is helpful to define Equations 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 were then solved manually using the integrating factor method [32] and substitution, giving the following expressions for the populations of the cell types in Fig. 1: We note the behavior of all cell types at long times, which when combined with known differentiation rates will allow us to fit experimentally measured relative abundances of each type of cell. By taking the limit t → ∞ we obtain: Definition of a crypt-villus unit (CVU) In order to assign numerical values to known parameters from the model in a consistent fashion, it is necessary to define what comprises a crypt-villus unit or CVU. It has been reported that in the mouse small intestine, six to fourteen crypts surround each villus, with more crypts more proximally [33]. With six crypts per villus, the choice of ileum allows us to simplify the geometry to a hexagonal planar lattice of crypts and villi. This arrangement is shown in Fig. 2. We note that this implies that there are, on average, two complete crypt contributions to each CVU. With this geometric assumption, we can proceed to make quantitative predictions about the contribution of each cell population to the CVU. We also chose to simulate murine ileum given that the goblet / Paneth cell progenitor has been observed there [30].

Incorporation of experimental data
The relative abundances of the five types of terminally differentiated cell types of the epithelium have been described, as have those of the crypt base columnar cells and rapidly dividing cells. For the purposes of our model, we identify these rapidly dividing cells as transit-amplifying cells. The rate of crypt base columnar cell renewal, average Paneth cell lifetime, and overall renewal rate of the epithelium have also been reported. Also, the steady-state population of transit-amplifying cells is known. These data are collected in Table 3. Of note, our use of the literature parameters 3500 villus cells [8], and a total of 500 crypt cells [9], reported separately, is in line with findings for more   distal small bowel in the work of Wright and Irwin, which describes in great detail how the villus and crypt populations vary along the gut axis: these workers found that both unit villus and crypt populations decreased roughly linearly as histologic sections were taken starting at zero, 25%, 50%, 75%, and 100% of the length of the small bowel [11].
Since the number of crypt based columnar cells is fixed in the simulation, this does not contribute a constraint from experimental data. Therefore, we also attempted to constrain the enterocyte population at 5 days to be 95% of its steady state value to reflect the roughly 5-day renewal timescale of the intestinal epithelium [34]. This results in nineteen unknowns (nine differentiation rate constants k i , five progenitor cell proliferation rates α, β, γ, δ and ζ, and five loss rates λ i ) with seven known quantities (the number per crypt villus unit, at long times, of the five terminally differentiated cell types, transit amplifying cells, and the total number of cells at 5 days). We first note the constraint k 1 = α, which is necessary for a steady state population of crypt based columnar cells. It has been reported to be 1 day -1 [1]. To further reduce the number of free parameters we can also make the assumption that the loss rates of all cells of the secretory lineage are equal, i.e. λ 2 = λ 3 = λ 4 , except for the loss rate of Paneth cells, λ 5 , which is known to be 1/21 day -1 [33]. We also assume that all downstream progenitors divide at the rate reported for the transit amplifying cell, 1.75 ± 0.25 day -1 [35] (β = γ = δ = ζ= 1.75 day -1 ). We can constrain additional parameters of the model by employing the known abundances of differentiated intestinal epithelial cells at equilibrium and substituting them into eqs. (22)- (30). Whenever there is a branching event in Figure 1 (e.g., TAC to AP or SP), one of the rate constants of the branching can be defined in terms of the other. By convention, in such cases we choose to express the higher subscripted rate in terms of the lower to obtain The result is seven independent parameters for seven known quantities, allowing for a unique solution.

Estimates for unknown abundances
Although Samuelson's group observed goblet / Paneth cell progenitors (GPP), they did not report an abundance for this cell type [30]. Moreover, the absorptive and secretory progenitors (AP and SP) have not been directly observed to date. Therefore, we must estimate the abundances of these three progenitor populations. To accomplish this, we first assume that the abundance of GPP is approximately 1 ± 0.5% based on the figure from the Samuelson paper. We then assume that each progenitor population is proportional to the total daughter populations to which it gives rise. For the GPP this gives We then solve for ϕ, which is found to be 0.0952 with the appropriate values from Table 3. In other words, there are slightly fewer than one order of magnitude fewer goblet / Paneth progenitors than the steady-state sum of their progeny, goblet cells and Paneth cells. We finally assume that this constant of proportionality holds for the other progenitors to obtain This allows calculation of the number of enterocytes at long times as well: Fitting procedure A Microsoft Excel spreadsheet was constructed to contain the rate constants in eqs. Two scenarios were performed, a baseline scenario ("Additional file 1"), and a fast scenario ("Additional file 2"). For the baseline scenario, experimentally known rate constants from the model were constrained. However, there was no constraint on the amount of time necessary for the enterocyte population to reach 95% of its time infinity value, as this constraint could not be satisfied with the literature values for some of the rate constants in the model, as discussed further in the Results and Discussion sections below. For the fast scenario, all the parameters were allowed to vary (except those which were constrained, as in equations (31)- (33), and the enterocyte population was constrained to reach 95% of its time infinity value at 5 days. Of note, the steady-state enterocyte population EC t → ∞ is constrained by eq. 24 as well, so its value for the fast scenario was 2848. The total number of cells was checked in both fits for consistency to be 4000 per crypt-villus unit.

Parameter error estimation
Microsoft Excel Solver does not provide the Hessian or curvature matrix after it performs an optimization. To estimate the variance of each fitted parameter, the final fitted values of each were varied by ± 10 -6 and the increase in the sum of the squares of the residuals was fit to a quadratic equation. The coefficient of the quadratic term is then the reciprocal of twice the variance. The standard deviation of each parameter was then estimated as the square root of the variance obtained. For the constrained parameters, the relative error was estimated as the quadratic sum of the relative errors [36] of the rate constants in the right-hand side of each expression in Eqs. (31)- (33). These calculations were performed in "Additional file 3". For experimentally known parameters, the literature value of the error was assumed to be the standard deviation. As an example, the error in k 7 was calculated as: The subscript t → ∞ was dropped from the cell populations TC and EEC for clarity. For the CBC cell cycling rate k 1 reported in [1], no error estimate was given in the reference, so it was assumed to be 0.25 day -1 or 25%. For enterocytes, the error was calculated as the quadratic sum of the errors for the cell populations in the sum given by eq.38.

Sensitivity analysis
To check the effect of varying the rate constants (model inputs) on the time-infinity values of the cell populations (model outputs), a sensitivity analysis was performed. The approach used is the same as that employed by the author and others in a previous work [37], which relies heavily on the work of Atherton et al. [38]. Briefly, a derivative matrix S is constructed where the row indices are the outputs (cell populations) and the column indices are differentiation with respect to the inputs (rate constants). If the cell populations are denoted by P i , and the rate constants by r j , then matrix elements of S are: These partial derivatives can be found in "Additional file 4". The sensitivity of the outputs to the inputs is then tabulated in a variance matrix V, with matrix elements: S and V for both the baseline and fast scenarios were calculated in "Additional file 5", and are displayed as Tables S1-S4 in "Additional file 6". Note that the elements of V are dimensionless. The V ij can then be rank-ordered for a given output, allowing the identification of those inputs among the r j that have the greatest effect on it when varied in the model.

Results
Rates of differentiation events in the intestinal epithelium Figure 1 shows a schematic of the differentiation network from intestinal crypt based columnar cell (CBC) to the five differentiated cell types of the intestinal epithelium, adapted from Samuelson's recent paper [30]. As described in detail in the Methods section and as shown in the figure, we assigned a rate constant k i for each differentiation event, a loss rate λ i for each terminally differentiated cell type, and proliferation rates for each progenitor population indicated by α, β, γ, δ and ζ. The results of fitting the known populations of each cell type, with estimates for the AP, SP and GPP populations (eqs. (35)-(37)), are shown in Table 4. The fitted rate constants in Table 4 are those which could be independently varied. We refer to these results as the "baseline scenario." Table 5 displays the results of rate constants in the baseline scenario that are constrained in terms of the fitted parameters in Table 4. Figure 3 shows plots of all cell populations, described analytically by eqs. (12)- (21), as a function of time for both the baseline and fast scenarios. All populations display a monotonic increase over time. Overall, in both baseline and fast cases, the enterocyte population rises the fastest, followed by the various progenitors, and lastly by the differentiated secretory lineages.

Literature values for crypt based columnar cell proliferation cannot reproduce the observed rate of intestinal epithelial cell renewal
In our fitting procedure, we also made use of the experimental fact that the intestinal epithelium self-renews approximately every 5 days [34]. To do this, we attempted to require that the population of enterocytes reached 95% of its long-time value by t = 5 days. However, we found that to accomplish this the progenitor rates downstream of the experimentally fixed value for CBC cell had to be unphysically large, on the order of 120 per day, or five per hour, which greatly exceeds the known rate of cycling of the CBC cell [1]. To further explore this phenomenon, we chose to allow all parameters of the model to vary freely, even those that are known experimentally, to reproduce the correct enterocyte renewal timescale whilst simultaneously preserving the correct long time limit values for each differentiated cell population. The results of this fit are shown in Tables 6 and 7, and we refer to these results as the "fast scenario." Table 5 Values of constrained parameters in the baseline scenario Parameter Equivalent expression or constraint Value (day -1 ) Uncertainty (day -1 ) TCt→∞ EECt→∞ 0.14 0.10 PCt→∞ GCt→∞

Summary of sensitivity analysis
As described in the methods, for both the baseline and fast scenarios, a variance matrix was computed to determine the contribution of each input (rate constant) to the sensitivity of each output (time infinity cell populations). The effect of the jth input is compared to that of the others for a given cell population by rank order of the values in that row. Table S2 shows the variance matrix for the baseline scenario. In this case, the a b c d Fig. 3 Time dependence of cell populations described by the compartmental population kinetics model in Fig. 1. Colors match those of Fig. 1. The left panels (a, c) show the results for the baseline and fast scenarios over the first 20 days, respectively; the right panels (b, d) show the same results over a longer timescale of 100 days. The y axes are displayed in a semilogarithmic format to better display separation between the different cell populations variance matrix elements are dominated for all time-infinity cell populations by β, the transit amplifying cell proliferation rate, followed by k 3 , the transit amplifying cell to secretory progenitor cell differentiation rate. For transit amplifying cells, the next most dominant parameter is k 1 , the crypt-based columnar cell renewal rate. For the three progenitor populations (absorptive progenitors, secretory progenitors, and Goblet / Paneth cell progenitors), the behavior is somewhat different. The absorptive progenitor population is, like the transit amplifying cell, most sensitive to β, k 3 , and k 1 , but then to γ (absorptive progenitor proliferation rate). For the secretory and Goblet / Paneth progenitors, β and k 3 are again dominant, but are followed by δ, the secretory progenitor proliferation rate. Next, the differentiated secretory lineages (enteroendocrine, tuft, goblet, and Paneth cells), are still most sensitive to β and k 3 , but the next most important contributions to their error vary from k 1 and k 7 (secretory progenitor to tuft cell differentiation rate) for tuft cells; δ, k 1 and k 7 for enteroendocrine cells; and δ, k 1 , k 7 and k 9 (goblet / Paneth cell progenitor to Paneth cell differentiation rate) for goblet and Paneth cells, with slight differences in their order. Lastly, the enterocyte population behaves like the absorptive progenitor population: it is also most sensitive to β, k 3 , and k 1 , and then to γ. Similarly, Table S4 shows the sensitivity analysis for the fast scenario. The transit amplifying cell population is heavily dominated in the fast scenario by k 3 . The progenitor cells also are all dominated by the k 3 contribution, but after this the details change from the baseline scenario. The absorptive progenitor population is relatively insensitive to any parameter other than k 3 , but after k 3 , the goblet / Paneth progenitor population is roughly equally sensitive to k 9 (goblet / Paneth progenitor to Paneth cell differentiation rate) and k 7 . The secretory progenitor population, after k 3 , is next most sensitive to k 7 (secretory progenitor to tuft cell differentiation rate). The secretory lineages are roughly split into the enteroendocrine and tuft cell populations, most dependent on k 3 followed by k 7 , and the goblet and Paneth cell populations, which are most sensitive to k 3 followed by k 9 . Unlike the case of the baseline scenario, in the fast scenario the enterocyte population, while dominated by k 3 , is roughly equally sensitive to k 1 , k 2 , k 5 , γ, and λ 1 , with variance matrix elements of order unity.

Discussion
A scheme for stepwise proliferation and differentiation for stem cells in the intestinal epithelium, as described in [30], is an extremely useful tool for a conceptual understanding of this complex process. It also allows for researchers to focus on a specific cell population and how it communicates to others in the scheme, and even populations not included, such as the mesenchyme. From a modeling standpoint, such a scheme is by definition compartmental in nature, with well-defined compartments of cells dividing and changing into cells of downstream compartments. This lends itself well to a first-order ODE treatment of the cell division and differentiation dynamics, TCt→∞ EECt→∞ 0.052 0.037 PCt→∞ GCt→∞ 0.096 0.041 which in turn allows for a closed-form solution of the time evolution of all the compartments. Such a solution is easily implemented in a spreadsheet or programming languages, and the sensitivity analysis of the model can be done simply as well. However, the results reported here reveal limitations in the population kinetics approach to modeling the intestinal epithelium. Specifically, in order to reproduce the rapid, 5-day renewal time of the murine intestinal epithelium [34], keeping constant the literature value of 1 per day for the CBC cell, the proliferation rates for the progenitor compartments would have had to be as high as 120 per day (data not shown). Instead, in the fast scenario all nonconstrained rate constants were allowed to vary in order to satisfy the renewal timescale of 5 days, but this still resulted in unphysically large fitted rate constants in the model at the proliferative, "upstream" end of the dynamics. These fitted rate constants differed substantially from values known from the literature: the crypt based columnar cell cycling time k 1 had to be as high as once per hour, 24 times faster than the experimental value. Similarly, the transit amplifying cell proliferation rate β was nearly 6 per day, about 3 to 4 times faster than the observed value, in the fast scenario. Interestingly, the Paneth cell loss rate λ 5 did not change much from its literature value of about once every three weeks.
Given the increase seen in β in the fast scenario required to reproduce the rapid renewal timescale of the epithelium, it was hypothesized that the absorptive precursor may divide more rapidly than the experimentally known value of 1.75 per day for the transit amplifying cell. Therefore, an attempt was made to fit the observed renewal timescale with α, β and λ 5 set to their literature values and the other constraints the same as in the baseline scenario, except that the precursor proliferation rates γ, δ and ζ were allowed to vary. However, even this approach did not allow for a fit to the data (not shown). In fact, in the baseline scenario, the total population of cells does not reach 95% of its final value until t = 96.8 days. Of note, Fletcher's group found that depending on assumptions made about crypt geometry, the timescale for a crypt to be populated by progeny from a single stem cell (clonality) is about 71 days using a multiscale model [18]. The similarity of this timescale and our result suggests that the approach taken here of ODEs with a continuous approximation may be better applied to the establishment of clonality of a crypt, rather than the repopulation of the entire crypt. Nevertheless, taken together, all our results make clear that although a compartmental model is a powerful conceptual tool, the first-order ODE approach cannot provide a complete mathematical explanation of the proliferation and differentiation dynamics of the intestinal epithelium system.
The sensitivity analysis for the baseline scenario showed a dominant effect for β, the transit-amplifying cell proliferation rate, on all the time-infinity cell populations. This was followed next by k 3 , the differentiation rate for transit-amplifying cells to the secretory progenitor population. In contrast, k 3 dominated for the fast scenario, and β had almost no effect. This suggests that in the baseline scenario, the deterministic ODE approach overall would have required more rapid proliferation in the TAC compartment, and perhaps also the progenitor compartments, to reproduce the observed rapid intestinal epithelial renewal timescale. This would be required to compensate for the relatively low, once per day cycling time of the CBC cells. This resulted, in the fast scenario, in a much greater k 1 and β than are experimentally observed, in order to completely populate the enterocyte compartment by 5 days. The variance matrix for the fast scenario (Table S4) shows that the sensitivity of the model to k 1 and β is very similar for all cell populations, suggesting that β could be made faster at the expense of a slower k 1 with little change in the ability of the model to fit the time infinity values of each cell compartment. However, since both k 1 and β are known experimentally, this suggests either that the deterministic ODE approach does not capture the dynamics of the intestinal epithelium, or that the proliferation rates of the progenitor compartments, assumed in the baseline scenario to all be equal to β to minimize the number of unknown parameters in the fit, are in fact much greater. In fact, when allowed to vary freely in the fast scenario, it is notable that γ, the absorptive progenitor proliferation rate, increased to 7.5 per day, about 4 times greater than its assigned value of 1.75 per day in the baseline scenario.
There are a number of possible explanations for the failure of the compartmental model presented here to reproduce the known 5-day renewal timescale of the intestinal epithelium. The crypt-villus axis is heavily regulated by Wnt and Bmp signaling pathways. It has been suggested in other modeling work [22,23] that a gradient of Wnt, with higher concentrations in the crypt base, can keep cells close to the crypt base in a stem-like state or de-differentiate them. There may be an antagonistic effect of a Bmp gradient extending in the opposite direction, highest at the villus tip and lowest in the crypt [8]. We speculate that, from the standpoint of a compartmental, deterministic ODE model, this could increase the effective number of stem cells, averaged over time, which would have the effect of increasing effective upstream proliferation rates in the specific model described here. This would occur in a way which cannot be captured in a first-order ODE model: both because of this effect, and due to random variation of the cell cycle length [18], as well as circadian variation of the villus cell population [11,39], it is certain that using a single, averaged rate constant for proliferation and differentiation of a single CBC cell compartment will inevitably fail to capture some of the details of the dynamics. Another possibility is cell-cell signaling: Wnt, Notch, or other paracrine factors not yet identified, either from other cells in the crypt or from the mesenchyme, could cause the CBC cell proliferation to increase with cell proximity, causing the first-order approximation of the model to break down. For example, if, as a result of mediation by one of these factors, the rate of CBC cell proliferation were proportional at times to CBC 2 in eq. 1, there would be a second order term not accounted for in the model as written. These types of effects would lead to nonlinear and time-dependent terms in the differential equations of the model which are not captured in its present form. Lastly, it is possible that other putative stem cell populations, such as the +4 cell [35] could contribute to the proliferation dynamics, resulting effectively in a more rapid proliferative compartment that is not taken into account by the model reported here.

Conclusions
A compartmental scheme of intestinal epithelial proliferation and differentiation into terminally differentiated cell populations allows for a simple but powerful conceptual framework for understanding the dynamics of this complex system. Such a scheme can be naturally translated to a deterministic, first-order ordinary differential equations (ODE) model of these dynamics. In the model constructed here, we were able to extract a general picture of the relative timescales involved in the dynamics, but could not