<<

-based registers for reasoning with definite

Rob Ely University of Idaho

Abstract: Two representation registers are described that support student reasoning with definite notation: adding up pieces (AUP) and multiplicatively-based (MBS). These registers were developed in a I class that used an informal infinitesimals approach, through which differentials like dx directly represent rather than serving as notational finesses or vestiges. Student reasoning reveals how the AUP register supports modeling with integral notation and how the MBS register supports sense-making with and evaluation of integrals.

Keywords: calculus, integral, register, semiotics, infinitesimal, differential

My goal is to examine and illustrate two registers for interpreting and working with definite integral notation, registers that are particularly useful for supporting student modeling and sense- making with integrals. These registers—adding-up-pieces (AUP) and multiplicatively-based summation (MBS)—are situated in a Calculus I course that uses an “informal infinitesimal” approach to calculus. I briefly summarize this general approach to calculus before describing these registers and how students reason with them.

Informal Infinitesimals Approach to Calculus

For nearly two centuries, Calculus was “the infinitesimal calculus.” For its inventors, G. W. Leibniz and , it was a of techniques for systematically comparing infinitesimal quantities in order to determine relationships between the finite quantities that they comprised (and vice versa). In the 19th century, calculus was reformulated in terms of limits rather than infinitesimals, and 20th century calculus textbooks have followed suit. Yet calculus textbooks and courses still use Leibniz’ notation, dx and ∫ , but without the meanings Leibniz assigned to these: dx is an infinitesimal increment and the big is a sum (“summa”). The notations are now vestiges, and in particular, differentials no longer directly represent quantities that students can manipulate and reason with. The guiding principle of the informal infinitesimals approach is to restore this direct referential meaning to calculus notation. The approach is supported by the work in in the 1960s showing that calculus can be founded upon infinitesimals with equal rigor and power, but it uses the informality of Leibniz’ reasoning rather than the formal development of the hyperreal (e.g. Keisler, 1986). For instance, the at a point dy/dx really ! !!! !!(!) is a ratio of two infinitesimal quantities, not code language for lim . The chain !→! ! rule is canceling fractions. And an integral really is a sum of infinitesimal bits, each of which in MBS is given by the product f(x)·dx. By taking differentials seriously, students can develop formulas for volumes of rotation, arclength, work, and many other ideas, formulas, and applications in first-year calculus (Dray & Manogue, 2010), and in and physics (Dray & Manogue, 2003).

Registers and Signs

For Duval (2006), a representation register is a collection of signs and a set of transformations by which some of these signs can be substituted for others. Transformations within the same register are treatments; transformations of signs from one register to another are conversions. Barthes defines a sign as a combination of a signifier and a signified (1957/1972). For instance, a bunch of roses (signifier), together with the concept of passion it is representing (signified), comprise a sign. In our case, when a mathematical representation (e.g., “dx”) signifies a concept (e.g., an infinitesimal increment), the combination of the representation “dx” (signifier) and infinitesimal increment (signified) is a sign. An interpretation is thus a signified concept. So if a representation stays the same but its interpretation changes, it becomes a different sign, since it signifies a different thing or concept. This points to a conversion to a different register, because within a given register interpretation should remain relatively stable. Such a conversion is often accompanied by a new lexicon of signs, interpretations, and treatments that which might support the new purpose or apply to the new context. Consider the following example: We can use infinitesimals to develop the formula for the arclength of a curve in the plane between x = 0 and 1. We imagine a curve to be comprised of infinitesimal segments, each of which is the hypotenuse of a right triangle with legs dx and dy. Then the arclength of the curve would be the sum of these hypotenuse lengths: ! ��! + ��! !!! . So far we have performed a modeling step, treating the dx and dy as quantities representing magnitudes, and have used the adding up pieces (AUP) register (which I detail soon). But this is no form to be evaluated for any particular curve, however. To be evaluated, the integral must first be converted by imagining all the dx’s as uniform in size and then being ! !" factored from the integrand, to get 1 + ( )! �� (if y is a function of x, say g(x)). Now the !!! !" ! �(�) �� 1 + �′(�)! integral is of the form !!! (where f(x) is ). So the integral can be evaluated by F(1) – F(0), for some F as an of f. Thus using algebraic manipulations we have converted to a new register that is suited for evaluating integrals. The [ ]! + [ ]! structure lost ! �(�) �� significance and the ! structure gained salience, and it became important for the original curve to be seen with y as a function of x.

The Adding Up Pieces (AUP) and Multiplicatively-Based Summation (MBS) Registers

The elements of the AUP and MBS registers are based on the work of Jones (2013, 2015a, 2015b). The interpretations involved in both registers are summarized in Figures 1 and 2, and the strange numbering on these (I2, etc.) draws from the learning progression in my class through which they emerge, which I reference elsewhere in detail (Ely, in review). The interpretations in the AUP register (Figure 1) entail the idea that a definite integral measures how much of some A is accumulated over an interval of a domain, say from t = a to b. This domain is partitioned into infinitely many infinitesimal increments of uniform size dt. For each infinitesimal increment dt there corresponds an infinitesimal increment of A, dA. The integral !

! adds all of these up to give the total accumulation of A over the interval from t = a to b. In order for this to make sense, one must appeal to conception C5: The sum of infinitely many infinitesimal bits is a finite accumulation of A. The AUP register allows one to transparently represent a general bit of the sought quantity and of the whole quantity as an accumulation of these bits. The treatments in the register include (a) writing a symbolic expression for a generic bit dA and (b) rewriting this expression for dA in terms of other infinitesimal quantities that specify the expression for the domain at hand, usually in terms of its corresponding domain increment dt. These treatments require viewing infinitesimals as legitimate quantities that behave Figure 1 – Interpretive elements normally under algebraic operations (including possibly of integral notation in the adding some additional Leibnizian rules for operating with up pieces (AUP) register infinitesimal quantities). The treatments also rely on two other grounding conceptions: (1) equivalent expressions can be substituted for the same quantity (conception C6), and (2) a foundational understanding of covariation, which in turn relies on the basic understanding that variables vary (Thompson & Carlson, in press). The student must be able to coordinate changes of A with changes of t in order to reason that for each increment dt there is a corresponding increment dA. The MBS register includes many of the same notational interpretations as AUP, but it also adds to these the expression of each piece dA as a product r(t)·dt. This introduces the integrand, which is necessary for the Fundamental Theorem of Calculus (FTC) to apply. We follow Thompson, Byerley, & Hatfield’s (2013) approach to treat the integrand r(t) as a rate at which A accumulates over the increment dt. This ultimately allows us to recognize and use that an accumulation function f for A will have r(t) as its rate-of-change function. Thus, one supporting conception in this interpretation of the product r(t)·dt is the idea that A accumulates at a constant rate r(t) over the dt increment, and that this constant rate is determined by the value of t closest to that dt increment. This relies on conception C4: A concept image for rate of change at a moment (Thompson, Ashbrook, & Musgrave, 2015). This momentary rate of change can vary constantly as t varies. I1 . dA: a generic The second supporting I4i. Sum of all the bits of A, i as t hops along by dt-sized “little bit” of the conception is the increments from a to b quantity A multiplicative structure associated with rate, expressed in conception

b I2i. An infinitesimal C1i (see Figure 2). The ∫ r(t)·dt increment of t a Figure 2 – Interpretive

I3i. “Rate” at which A accumulates elements of over the dt-sized increment of t C1i. The multiplicative integral notation structure: If A accumulates at in the a rate of r(t) A-units per t-unit, multiplicatively- over an increment of dt t- C5i. The sum of infinitely many units, the product r(t)·dt is the based summation infinitesimal bits is a finite accumulation. accumulated bit of A. (MBS) register word “rate” is used here broadly. It does not necessarily mean that r(t) is measured in a compound unit like miles-per-hour. Rather it means that as t changes, A changes by a proportional amount, and r(t) provides that rate of proportionality (Lobato & Ellis, 2010). Most broadly, r(t) serves as a factor allowing conversion from an increment of t to an increment of A, by dA = r(t)·dt. Reasoning with quantities, rather than bare numbers or symbols, is crucial to this interpretation. The MBS register promotes reasoning with the FTC: if we can find any accumulation function f(t) whose rate-of-change function (i.e. derivative) is this r(t), we can use it to recover the accumulated amount A, by determining f(b) - f(a). The treatments within the MBS register include the same kinds of algebraic operations with summand and integrand as in the AUP register, and also include evaluating the integral f(b) - f(a) by means of an antiderivative f.

Other Modes of Student Reasoning with Definite Integrals

Although we focus on AUP and MBS, these modes of reasoning are relatively rare among students in traditional calculus courses. For instance, Jones (2016) surveyed 150 undergraduate students who had completed first-semester calculus, using Prompts 1 and 2 on the next page. Only 22% of students made even a passing reference to summation of any kind on either prompt, and on each prompt less than 7% appealed to reasoning consistent with AUP or MBS. On the other hand, 87.3% of students appealed to an “area” interpretation on Prompt 1, and 76% used an “anti-derivative” interpretation on Prompt 2. These two interpretations have also been described, and found prevalent, by other researchers. The area interpretation is that the definite integral represents an area “under” a curve in the coordinate plane, with the “d[]” denoting the on the horizontal axis, which forms the bottom of the shape. “The shape is taken as a fixed, undivided whole that is not partitioned into smaller pieces” (Jones, 2015b, p. 156). The anti-derivative interpretation is that the integrand came from some other other “original function” through differentiation; now the represents an instruction to find this original function. The d[] dictates the independent variable “with respect to” which the derivative had been taken, and the limits of integration are the values that one must plug into the original function to get the numerical answer (Jones, 2015). Fisher et al. (2016) found that the majority of students in a standard calculus class used only the area interpretation when describing the meaning of a definite integral, and Grundmeier, Hansen, & Sousa (2006) found that only 10% of students mentioned an infinite sum when asked to define a definite integral. Various studies claim that sum-based interpretations of the definite integral are much more productive in general for supporting student reasoning than are area and anti-derivative interpretations (e.g., Sealey, 2006, 2014; Sealey & Oehrtman, 2005, 2007; Thompson & Silverman, 2008, Jones 2013, 2015a, 2015b; Jones & Dorko 2015; Wagner 2016). For modeling in particular, the area and anti-derivative interpretations have serious limitations. The area interpretation is problematic when modeling in the myriad situations when the sought quantity is difficult to imagine as the area of a region (e.g., work, velocity, force, volume, arclength) (Thompson et al, 2013; Jones 2015a). The anti-derivative interpretation provides even less support for modeling, since it gives only a technique for evaluating a definite integral, not for creating one (Jones 2015a). These interpretations produce significant obstacles for students modeling with integrals in physics applications (e.g., Nguyen & Rebello, 2011). Along with AUP and MBS, there are other sum-based interpretations of integral notation, notably the Riemann sum ( of sums). Nearly all calculus books define the definite integral using Riemann sums, but this fact seems to contribute little to building sum-based reasoning for the students who use these books. When investigating this apparent pedagogical disconnect, Jones, Lim, and Chandler (2016) found that instructors’ teaching moves lead students to perceive the limit of Riemann sums not as a conceptual basis for understanding the definite integral, but merely as a calculational procedure that allows an integral to be estimated accurately. Another way that the limit process involved in the Riemann sum interpretation can form a conceptual obstacle for students is through the problematic collapse metaphor, through which students imagine the pieces losing a in the limit, so the d[] loses its quantitative meaning (Oehrtman, 2009).

Data Collection

430 I taughtChapter an experimental 6 r Applications Calculus of Integration I class using the informal infinitesimals approach, for science, engineering, and math majors at a large public university in the northwestern U.S. I 5.conducted Why is the disksemi method-structured a special case interviews of the general and slicing analyzed method? student11. The solid written with a work.semicircular I focus base of here radius on 5 whose two cross sec- tions perpendicular to the base and parallel to the diameter are 6. The region R bounded by the graph of y f x 0 and the prompts I used in the interviews:= PromptÚ 1, which is verbatimsquares from Jones (2013, 2016), and Promptx-axis on 3, aa, bnovel is revolved modeling about the context line y = -of2 toa formkind a solidvery different from what the students seen before of revolution whose cross sections are washers.1 2 What are the inner 12. ! The solid whose base is the region bounded by y = x 2 and the (althoughand outer 3 radiithey4 of hadthe washer don eat a pointfew xvolume in a, b ?-of-rotation problemsline y =in1 class, and whose and cross on homeworksections perpendicular). to the base ! � � �� and parallel to the x-axis are squares Basic Skills Prompt 1: Explain in detail3 4 what ! 7–16. Generalmeans. slicing Ifmethod you Usethink the generalof more slicing than method one to way find to the volume ofdescribe the following it, solids.please describe it in multiple ways. square cross section 7. The solidPlease whose usebase iswords, the region or bounded draw bypictures, the curves or y =writex 2 and y =formulas,2 - x 2, and or whose anything cross sections else through you want the solid to per- explain pendicular to the x-axis are squares what it means. Prompt 3: Set up an integral that represents xy the volume of this solid, whose base is the region base bounded by ythe ϭ x 2curves y=√x and y=-√x, and y ϭ x2 whose cross sections perpendicular to the base and perpendicular to the x-axis are squares. yx y ϭ 2 Ϫ x2 y x 13. The solid whose base is the triangle with vertices 0, 0 , 2, 0 , Resultsy and 0, 2 , and whose cross sections perpendicular to the base and I analyze here the reasoningx displayed in the responsesparallel of totwo the ystudents,-axis are semicircles Dmitri and Galena.1 2 1 2 8. The solid whose base is the region bounded by the semicircle 1 2 2 14. The pyramid with a square base 4 m on a side and a height of 2 m y = 1 - x and the x-axis, and whose cross sections through (Use calculus.) Reasoningthe solid2 perpendicular in the AUP to the xR-axisegister are squares ! 15. The tetrahedron(2� ⋅ �� (pyramid)! with four triangular faces), all of whose In response to Prompt 3, Dmitri’s initial answer of (edges!!! have length 4 ) was incorrect, but after ! ! 3 (2�) ⋅16.�� A circular cylinder of radius r and height h whose axis is at an reflecting for a minute he corrected it to !!! . He notes that if the slice was (2ydx) , it would make a perfect cube, which can’t be right. It shouldangle inste of p ad4 to look the base like what is in Figure 4. He narrates as he draws and labels the slice: “This [indicates the> width] is going to be dx. This

will be the same thing yas the other one: this one y[indicates the slicecircular’s height dimension] is still 2 base 2x y. This yone’s ϭ Ί1 Ϫ stillx 2y [indicates x the slice’s depth dimension]. But the width is still dx. So toh find r d 9.the The volume solid whose of that,base is we’dthe region have bounded 2y squared by the curve times dx. And that is all. And that solves my problem.” Hey then= cdescribesos x and the x -axishow on the - pslices2, p 2are, and aggregated, whose cross each time “you’d go up an infinitely small sections1 through the solid perpendicular to the x-axis are isosceles right triangles with a horizontal3 leg in> the >xy4-plane and a vertical leg above the x-axis 17–26. Disk method Let R be the region bounded by the following curves. Use the disk method to find the volume of the solid generated when R is revolved about the x-axis.

17. y = 2x, y = 0, x = 3 (Verify that your answer agrees with the volume formula for a cone.) y

y y (3, 6) y ϭ cos x x x 10. The solid with a circular base of radius 5 whose cross sections perpen- y ϭ 2x dicular to the base and parallel to the x-axis are equilateral triangles R

equilateral triangles 0 3 x

circular base

x y

M06_BRIG7345_02_SE_C06.3.indd 430 21/10/13 5:20 PM amount and then you’d do the same thing for that one, and you’d do that for all numbers between 0 and 1.” Then he notes that the collection of all these pieces is the volume of the whole figure. In this of reasoning, Dmitri appeals to all the elements of AUP. He has imagined a domain partitioned into increments of infinitesimal size dx (I2), described a representative slice of the figure’s total volume as the thing being summed (I1), and described the integral as the sum of all such pieces across the appropriate domain (I4). He notes that these have infinitesimal volume but that when you sum them all you get the whole region, which indicates he is using C5.

Figure 4 -- Dmitri’s modeling of a representative piece of volume. The axes labels were written by the interviewer.

Dmitri checks his answer by appealing to dimensional quantities and units: even if dx is a “really small amount of meters, it’s still meters – so meters squared times meters equals meters cubed, and that’s the unit of volume.” Dmitri uses AUP, not MBS; he never seems to need the summand to be in the form “f(x)·dx.” His initial answer is not at all in that form, and his final answer still does not have the integrand written as a function of x. Additionally, he appeals to multiplicative structure when he talks about the summand, he does not describe or treat the area part, the integrand, as a “rate” at which the figure’s volume grows with each infinitesimal increment of the domain.

Reasoning in the MBS Register ! � � �� In response to Prompt 1, to explain what ! means, both Galena and Dmitri express notational interpretations I1-I4 and conceptions C1i and C5i. Galena’s succinct response is shown here, and I indicate how it displays I1-I4. There is no textbook with MBS in it yet, but if there was, Galena’s account would be the “textbook” description of MBS: G: Okay, so, I’ll just separate this into chunks: I2i" So the dx is gonna be a small increment in time, like ideally it would be ! infinitely small. Um, so this [gestures to the “dx”] is a chunk of time, or whatever is on your x-axis. It doesn’t !necessarily have to be time; it could be meters if you were doing it in length. But it’s a small increment of whatever x is. I3i" Then f(x) is the rate at which that grows over this [points to the dx] chunk ! of time, per se. And then, so this is a rate [points to the f(x)]. So it would ! be like meters per second, or whatever this x value is per whatever is the y value [she says these reversed but writes them correctly]. Uh, and this [points to the entire integral] is making this a summation of ! these chunks. So this [points to f(x)dx] is going to be a chunk. And this is I1i" ! the summation from a to b of those tiny chunks that you’re adding up ! along the way. ! I4i" ! Dmitri’s responses to Prompt 1 also illustrate his reasoning using I1-I4, C1 and C5, and he explicitly refers to f(x) as a “rate of change function; … let’s say it’s meters per second, then dx could be a really small increment, an infinitesimally small increment, of seconds.”

Converting From the AUP Register to the MBS Register An example of Galena’s written work illustrates the process of converting between the two registers. The problem asks her to first set up, then evaluate, an integral representing the volume of the figure created by rotating around the x-axis the region enclosed by the curves y = x + 6 and y = x2. Galena makes a couple of small mistakes in her work, but the switch between registers is clear. Her modeling work, to set up the integral, is shown in Figure 5.

Figure 5—Galena’s modeling in the AUP register

To evaluate the integral, Galena converts to interpreting the integrand [�(� + 6)! − �(�!)!] not as two of a slice but as a “rate of change,” (she writes this). She then seeks to evaluate by finding an “accumulation function” evaluated at the starting and ending values of 0 and 3. The interpretation of the integrand has changed with the register shift, so she no longer refers to elements of the figure.

Discussion

These are a few illustrative examples of how students in an informal infinitesimals calculus course used the AUP register to model with definite integrals and the MBS register to reason with and evaluate definite integrals, and how there is an explicit change of interpretation marking the conversion between the registers. Since the two registers support these distinct purposes, it may support student learning for the instructor to teach the registers independently and to be explicit about the interpretations and affordances in each register. By explicitly teaching students the signs (notations and interpretations), treatments, and purposes of the two registers, we may help them develop meta-level awareness of the significance and affordance of their actions in the registers. An informal infinitesimals approach to calculus can help students develop these two registers, which are more powerful tools for reasoning with definite integral notation than the prevalent antiderivative and area interpretations.

References

Barthes, R. (1957). Mythologies. Paris: Seuil. Czarnocha, B., Dubinsky, E., Loch, S., Prabhu, V., & Vidakovic, D. (2001). Conceptions of area: In students and in history. College Mathematics Journal, 32(2), 99–109. Dray, T. & Manogue, C. (2003). Using differentials to bridge the vector calculus gap. College Mathematics Journal, 34, 283–290. Dray, T. & Manogue, C. (2010). Putting differentials back into calculus. College Mathematics Journal, 41, 90-100. Duval, R. (2006). A cognitive analysis of problems of comprehension in a learning of mathematics. Educational Studies in Mathematics, 61(1–2), 103–131. Ely, R. (in review). Reasoning with definite integrals using infinitesimals. Journal of Mathematical Behavior. Grundmeier, T. A., Hansen, J., & Sousa, E. (2006). An exploration of definition and procedural fluency in integral calculus. Problems, Resources, and Issues in Mathematics Undergraduate Studies, 16(2), 178–191. Jones, S. R. (2013). Understanding the integral: Students' symbolic forms. The Journal of Mathematical Behavior, 32(2), 122-141. Jones, S. R. (2015a). Areas, anti-, and adding up pieces: Definite integrals in pure mathematics and applied science contexts. Journal of Mathematical Behavior, 38, 9–28. Jones, S. R. (2015b). The prevalence of area-under-a-curve and anti-derivative conceptions over Riemann-sum based conceptions in students' explanations of definite integrals. International Journal of Mathematics Education in Science and Technology, 46(5), 721- 736. Jones S. R., Lim, Y., & Chandler, K. R. (2016). Teaching integration: How certain instructional moves may undermine the potential conceptual value of the Riemann sum and the Riemann integral. International Journal of Science and Mathematics Education. 1-21. DOI: 10.1007/s10763-016-9731-0 Jones, S. R., & Dorko, A. (2015). Students' understandings of multivariate integrals and how they may be generalized from single integral conceptions. The Journal of Mathematical Behavior, 40(B), 154-170. Keisler, H. J. (1986). Elementary Calculus: An Infinitesimal Approach. Boston, MA: PWS. Kouropatov, A., & Dreyfus, T. (2013). Constructing the integral concept on the basis of the idea of accumulation: Suggestions for a high school curriculum. International Journal of Mathematical Education in Science and Technology, 44(5), 641-651. Lobato, J. & Ellis, A. (2010). Developing Essential Understanding of Ratios, Proportions, and Proportional Reasoning, Grades 6-8. Washington, DC: National Council of Teachers of Mathematics. Nguyen, D., & Rebello, N. S. (2011). Students’ difficulties with integration in electricity. Physical Review Special Topics—Physics Education Research, 7(1). doi: 10.1103/PhysRevSTPER.7.010113 Oehrtman, M. (2009). Collapsing dimensions, physical limitation, and other student metaphors for limit concepts. Journal for Research in Mathematics Education, 40(4), 396-426. Oehrtman, M., Swinyard, C., Martin, J., Hart-Weber, C., & Roh, K. H. (2011). From intuition to rigor: Calculus students’ reinvention of the definition of sequence convergence. In the online Proceedings of the Fourteenth Annual Conference on Research in Undergraduate Mathematics Education, Portland, OR. Sealey, V. (2006). Definite integrals, Riemann sums, and area under a curve: What is necessary and sufficient? Paper presented at the 28th annual meeting of the North American chapter of the International Group for the Psychology of Mathematics Education, Merida, Mexico. Sealey, V. (2014). A framework for characterizing student understanding of Riemann sums and definite integrals. The Journal of Mathematical Behavior, 33(1), 230-245. Sealey, V. & Oehrtman, M. (2005). Student understanding of accumulation and Riemann sums. In G. Lloyd, M. Wilson, J. Wilkins & S. Behm (Eds.), Proceedings of the 27th annual meeting of the North American Chapter of the International Group for the Psychology of Mathematics Education (pp. 84–91). Eugene, OR: PME-NA. Sealey, V., & Oehrtman, M. (2007). Calculus students' assimilation of the Riemann integral into a previously established limit structure. In T. Lamberg & L. Wiest (Eds.), Proc. 29th annual meeting of the North American chapter of the Int. Group for the Psychology of Mathematics Education (pp. 78-84). Stateline, NV: PMENA. Thompson, P. W. (1994). Images of rate and operational understanding of the Fundamental Theorem of Calculus. Educational Studies in Mathematics, 26(2-3), 229–274. Thompson, P., Byerley, C., & Hatfield, N. (2013): A conceptual approach to calculus made possible by technology. Computers in the Schools, 30:1-2, 124-147. Thompson, P. W., & Silverman, J. (2008). The concept of accumulation in calculus. In M. Carlson, & C. Rasmussen (Eds.), Making the : Research and teaching in undergraduate mathematics (pp. 117–131). Washington, DC: Mathematical Association of America. Thompson, P. & Carlson, M. P. (in press). Variation, Covariation, and Functions: Foundational Ways of Thinking Mathematically. In Cai, J. (Ed.), First Compendium for Research in Mathematics Education. Reston, VA: National Council of Teachers of Mathematics. Thompson, P., Ashbrook, M. & Musgrave, S. (2015). Rate of Change. Tempe: Arizona State University. ePub. 15 Sep. 2015. Thompson, S. P. (1914). , 2nd Edition. London: MacMillan and Co. Wagner, J. (2016). Student obstacles and resistance to Riemann sum interpretations of the definite integral. In the online Proceedings of the Nineteenth Annual Conference on Research in Undergraduate Mathematics Education, Pittsburgh, PA.