This study explores the extent to which a teacher elicited students' mathematical reasoning through the use of challenging tasks and the role her knowledge played in doing so. I characterised the teacher's knowledge in terms of a "local theory" of instruction, a form of pedagogical content knowledge that involves an empirically tested set of conjectures situated within a mathematical domain. Video data were collected and analysed and used to stimulate the teacher's reflection on her enactments of an instructional sequence. The teacher, chosen for how she consistently elicited student reasoning, showed evidence of possessing a local theory in that she articulated the ways student thinking developed over time, the processes by which that thinking developed, and the resources that facilitated the development of student thinking. Her knowledge informed how she revised and enacted challenging tasks in ways that elicited and refined student thinking around integer addition and subtraction. Furthermore, her knowledge and practices emphasised the progressive formalisation of students' ideas as a key learning process. A key implication of this study is that teachers are able to develop robust knowledge from enacting challenging tasks, knowledge that organises how they elicit and refine student reasoning from those tasks. (Contains 3 tables and 1 footnote.)