diff --git a/ch10before.tex b/ch10before.tex
new file mode 100644
index 0000000..43318a1
--- /dev/null
+++ b/ch10before.tex
@@ -0,0 +1,242 @@
+\chapter{Future Work}
+Neuroscience ( and some study in software engineering) leads to believe helping students pay attention and remember intrinsic reward, the sense of pleasantness, helps students remember Make use of the natural experiment --- some students will have enjoyed the material. Are these the ones who remember better? and does the nature of enjoyment make any difference in understanding productivity aesthetics?
+\section{Helping Students Discern Derivation for Proof of Correctness}
+Recall that variation theory holds that students cannot discern a thinkg unless contrast is provided.
+Pang has pointed out that, for persons aware of only one language, ``speaking'' and ``speaking their language'' are conflated.
+Only when the existence of a second language is known, does the idea of speaking become separated from the ide of speaking a specific language.
+We may wish to alert students to the ability to derive code from requirements mathematically.
+We could show them, for example, an even function.
+We could show them how to construct a function that is even.
+We could show them how to construct a function that is odd.
+This might hep them see the difference between writing code and testing it afterwards, and deriving the code to be correct by construction.
+
+
+Variation theory and cognitive science suggest the teacher should make an effort to show positive and negative examples and to point out what causes one to be positive and the other negative to help discern the relevant features. Have you noticed this practice? Did you find it helpful?\\
+
+Engagement with the material\\
+Please rank order the factors that might help you e engaged wit theh material\\
+job related\\
+prereque\\
+have been curious about\\
+fun\\
+competition\\
+beautiful\\
+(Does this happen often)\\
+(Does this matter to you?)\\
+What, if anything, makes you engage with the material?\\
+ Neurophysiology suggest that animation in overheads makes it easier to be alert to material, that figures draw attention more easily than text.
+ Plesae comment on what if any things make animation helpful to you, or whether you find some animation helpful.
+ If you find figures helpful, can you comment on how they help? Do you find it easier to pay attention to figures than to text?
+
+\section{Use of Conceptualizations}
+
+Suppose we wish to incorporate into our curriculum on software engineering, material on both verification by formal methods, and also code derivation from specifications.
+We might wish to have our students able to recognize a specification that can be satisfied
+by a transition system, so that they can ascertain that a representation of that transition system that can be converted automatically into code implementation is an available approach.
+We would need it to be, that the mathematical arguments for the transformations of requirements
+to Floyd-Hoare-triples, for example, convince the students.
+Knowing the range of the state of preparedness of the incoming students allows us to plan the amount of time to devote to background material,
+and which background material should be provided.
+Suppose we wished to make use of higher order logic, so that we could employ relations as arguments
+to functions.
+We might, for example, wish to pass a
+graph constraining how a computation should be carried out.
+We would like the students to appreciate the mapping between a recursive
+implementation and proof by mathematical induction.
+We would like the students to discern when a recursion is a tail recursion.
+We would like the students to appreciate the mapping between a tail recursion and iteration.
+On the one hand we have an idea which mathematical tools we wish to use, and on
+the other hand we have an idea 
+of the extent of the students' conceptualization.
+With these we can begin to design an instructional approach.
+\subsection{Recognize a specification that can be satisfied by a transition system}
+For this, they should know what a transition system is.
+There is a state, so we wish to represent a store, and the states it may take on.
+There is a way to change the state, so we wish to represent transitions, and the idea of a path from 
+state to state.
+They should understand how a transition system can be represented in code, and that this can be carried out automatically.
+Path algebra furnishes a rigorous description of these processes.
+Path algebra out to be accessible to the students.
+We could introduce (typed) lambda calculus to the students with path algebra as its first use.
+Now that we have Java 8 which provides anonymous functions, we can also offer a coded version for
+exploration.
+Having the use of typed lambda calculus for path algebra, we can then use it to describe the effect of instruction in the context of Floyd-Hoare triples.
+Program derivation can be illustrated.
+Because we always prefer the students to apply what they comprehend,
+it is important to have exercises.
+Students should perform derivation, so that they come to appreciate that it can be automated.
+
+
+\subsection{Composition}
+Because derived components can be expected to be composed, either in sequence or in parallel, it
+is important that the students understand this at a rigorous level.
+As we can expect to be passing as arguments, procedures to be composed, the need for
+higher order logic is evident.
+\subsection{Invariants}
+The role of invariants in assuring the correctness of composition provides motivation for consideration of invariants.
+\subsection{Provability}
+With transition systems as a first example of what can be correct by construction, and invariant
+as a tool for provability, students can see that a way to design code with the prospect of fewer bugs is possible, at least in some circumstances.
+\subsection{User of Bridging Material}
+The material on mathematical tools we wish to use should be introduced at a level that addresses the 
+conceptualizations the students bring to the course.
+Because the students bring different levels of preparedness to the class, some
+self-assessment might be included, to guide the student to the starting poing corresponding to his or her current ideas.
+The self-assessment can make use of the concepts used in the course.
+For example, during the course, the idea of invariants is used.
+Self-assessment can include questions posed to determine a student's understanding
+of the nature and role of an invariant, and direct the student to explanations that may be 
+helpful, according to the results of the self-assessment.
+From this vantage point, other techniques of proving, including contradiction and contrapositive, are motivated.
+\subsection{Summary}
+The less-developed end of the range in the students' conceptualizations identifies the starting point of explanatory background material that should be provided.
+The needs of the course determine the ending point of the explanatory background 
+material.
+The major themes in the students' conceptualizations make evident the 
+critical aspects, that distinguish on conceptualization from another, and therefore
+suggest the self-assessment questions that should be furnished, to help students know where to begin improving.
+An alternative to having analyzed the conceptualizations among the students is to use on a 
+student case-by-case basis, a sort of failure modes and effects analysis, whereby the effect of lacking a certain understanding can be predicted to cause a certain pattern of confusion on the part of the
+student, and that confusion is used to discover what way is best to help that particular individual.
+Different parts of the background material become motivated at different times within the course.
+It could help the students to provide a key from possible trouble spots to relevant background material.
+\subsection{Example}
+We use the model of students' conceptualizations shown in  () to provide background material for a course in software engineering organized around the concept of provability-driven development. 
+Finding the calculational approach of Gries\cite{}, which provides relatively succinct proofs, matching well with the phenomenology of Rota, who found that short proofs were more beautiful and more memorable, we prefer this style.
+From the range of conceptualizations, we choose to include symbolization, and formation of valid arguments stressing that rules of inference satisfy guards upon the transformations we can make as we transition from one statement to another.
+Which of the following describes a while loop executing?\\
+boolean done = false;\\
+while(!done)\{\\
+statements which eventually change done to true\}
+
+\begin{itemize}
+\item ($\neg$ done)(statements)(done)
+\item ($\neg$)(statements)(d)
+\item($\neg$p)(statements)(p)
+\item(p)(statements)($\neg$p)
+\item all of the above
+\item none of the above
+\end{itemize}
+
+Which of the following describes two statements executing in sequence (where, for any $i$, $s_i$ denotes a state of the variables being used by the program)? Please note that reading the value of variable does not change the state.
+
+\begin{itemize}
+\item (in state $s_0$)(print ``Hello, world'')(print x) (in state $s_0$)
+\item (in state $s_0$)(x=x+1)(print x) (in state $s_0$)
+\item (in state $s_0$)(x=x+1)(print x) (in state $s_1$)
+\item 1 and 3 but not 2
+\end{itemize}
+
+Please note that the questions have been designed to help you notice the content being explored. If you find that the phrasing of the questions is helping you arrive at the correct answer, you should choose to study the material. Variables, which can be individual letters, or names, either in computer programs or mathematical statements, are used to represent ideas. In programs, meaningful
+variable names have been shown to increase the speed and correctness of comprehension \cite{} In mathematical statements, single letter variable names have been shown to improve the skill of abstraction.
+Thus we choose to employ meaningful variable names for now, but will tend to replace them with single letters later.
+You have probably seen variables in high school algebra, for example in the equation for a line, typically written as $y=mx+b$.
+Here, $y$, the vertical position on a graph, is calculated from $m$, the slope of the line, and $b$, the vertical offset when $x=0$. A family of parallel lines can be generated by keeping one value for $m$, and setting different values for $b$.
+Thus we see that a variable can refer to a single value, and a variable can also refer to different single values at a time.
+For any one point along a line, when the value of $x$ refers to a single value, the single values of $x,m$ and $b$ can be used to calculate a single value for $y$. 
+It is, however, also possible to think of the values of horizontal axis all together, and refer to that idea by a single variable $x$.
+If you are familiar with a programming language, such as MATLAB\textregistered, that supports vector variables, you will have seen single variable that can refer to many individual values at once.
+Likewise, you may have worked with arrays of one ore more dimensions; reflecting on this, the array name (without specified indices) can be though of as referring to the entire array.
+Keeping that idea in mind, we can contemplate the mathematical expression $0 \leq x \leq 1$.
+When $x$ is an integer, we have that the integers 0 and 1 satisfy this description.
+Depending upon context, $x$ may represent the range including these.
+changing the universe of discourse from integers to reals, the expression $x<3$ represents, depending upon context, not necessarily only a single, yet-to-be-determined real number that also has the property of being less than 3, but also it can be that $x$ represents all real numbers less than 3.
+
+
+\subsection{Logical Operators}
+We wish students to understand strengthening and weakening of conditions.
+We wish student to understand the idea of a precondition as a disclaimer, and also as a guard.
+We wish students to be able to negate statements with multiple quantifiers.
+We have seen from investigating the conceptualizations that students can have trouble even negating statements with single quantifiers.
+\subsection{Relations}
+We want students to understand relations, because we want them to see the pairing of an input state and an output state, as a result of a transformation by a computation, as a relation.
+\subsection{Rules of Inference}
+Calculational proofs\cite{are these Gries?} seem to suggest strongly the way to proceed.
+Stepping through examples of these might help students comprehend
+\subsection{Internalization and Interiorization}
+Recall that internalization has been achieved when a student can perform a process correctly, not necessarily recognizing the  circumstances in which that process is appropriate.
+What distinguishes interiorization from internalization is that the student can examine and discuss the process, beyond being able to  carry it out.
+It is important for the software engineering course that students can examine and discuss the process of program derivation from requirements.
+Recognition of the  circumstances in which automatic program derivation can be performed is an important part of understanding requirements.
+We combine internalization and interiorization because our interviews have not addressed topics that the participants cannot discuss.
+We have however found student testimony that process that can be carried out confidently are nevertheless not used due to lack of a means to determine whether the process is appropriate to circumstances.
+Which, if any, of the requirements described below can be satisfied by a finite state machine?
+
+\begin{itemize}
+\item Recognize whether or not a string could have been generated by a regular expression
+\item Recognize whether or not a string could have been generated by at least one of a set of regular expressions
+\item Recognize whether or not a string could have been generated by juxtaposition of strings, each of which could have been generated by at least one of a set of regular expressions
+\item all of the above
+\item none of the above
+\end{itemize}
+Is this a mapping from a recursive algorithm to a proof by mathematical induction?
+The base case or cases of the recursive definition map to the base case or cases of the proof, and the recursive call or calls are always invoking with a problem of a smaller size, and the inductive step is always working with a premise that is assumed to be true.
+In both recursive algorithms and inductive steps, the next problem is solved making use of a previous solution.
+Is this a mapping from a concrete example of a proof to a proof in a more abstract circumstance?\\
+Concrete\\
+There is a commercially available car, a deLorean.\\
+There is an  unreachable goal, time-travel.\\
+Spielberg has shown us that if only we had a ``flux-capacitor'' to attach to the deLorean, we could have time-travel.\\
+Therefore we conclude that the flux-capacitor must also be unreachable, by the following logic:\\
+If we had the flux-capacitor and the deLorean, we would get time travel.\\
+We cannot get time-travel.\\
+So, we cannot have the flux-capacitor and the ddLorean.\\
+We can get the deLorean.\\
+So, it must be that we cannot get the flux-capacitor.\\
+Relatively Abstract\\
+There is a simple algorithm, $M$, by which we can determine whether two finite sets have any elements in common.\\
+There is an unreachable goal, $A_{TM}$.\\
+Sipser has shown us that, if only we had $E_TM$ and $M$, we could have $A_{TM}$.\\
+We cannot get $A_{TM}$.\\
+So, we cannot have $E_{TM}$ together with $M$.\\
+We can have $M$.\\
+So, it must be that we cannot get $E_{TM}$.\\
+(I'm thinking pictures would help.)
+In symbols:\\
+$\neg A_{TM}$\\
+$M \land E_{TM} \rightarrow A_{TM} $\\
+$\neg A_{TM} \rightarrow \neg(M \land E_{TM})$\\
+$\neg(M \land E_{TM})$\\
+$\neg M \lor \neg E_{TM}$\\
+$M$\\
+$\neg E_{TM}$
+
+\subsection{Perceptual}
+\subsection{Transformational}
+\subsection{Axiomatic}
+To detect
+\subsection{What Do You Say After You Say HelloWorld?}
+This is a software engineering course, organized around the idea of provability driven development.
+We want to impart the desire to approach software engineering problems with methods of formalizing calculation checking.
+Mathematics provides what is necessary for proofs, by means that include precise definitions.
+We would write definitions of program function in a style admitting proof.
+We will use finite automata.
+So, a section on proof, followed by a section on finite automata, formal definitions of things we use,
+clients, servers, files, streams, What sort of things are we aiming to prove?
+liveness, safety, accuracy, i/o relations for component based systems resource utilization including time utility functions.
+The construction technique needs to be proven.
+BL, statecharts, Wise computing This goes with composition of systems.
+Unlink (in a book on formal methods)Wing, we do not pick one, rather, we relate (multiple possibilities to one another?) them, like ISO standard communication stack and those defined things live in the space of abstractions, i.e., many different operational sequences covered by one invariant.
+What impact does provability have on these?
+structure in types data structures meets provability (recursive data structure, proof by induction)
+can we represent data structures as finite automata?
+Is there a reason why not to do this? e.g., would it not be sufficiently general?
+representing datatypes with algebras Hoare 1985 Milner 1980 models, \cite{milner1978theory} with math, might have more properties that we want to use, vs.
+theories, with which we create only our desired properties.
+Z, VDM, emphasize models over theories,
+Z VDM Larch algebraic specification language would we want to use Tempo instead of OBJ?
+A formal method has an assertion language, for example, first order predicate logic.
+A formal method has a specification language, wich in turn has a syntax and a semantics.
+The syntax contains rules for formulating syntactically correct (legal) terms.
+
+Mitchell \cite[p. 35] (Foundation of Programming Languages) says Hilbert-style proofs system consists of axioms and proof rules.
+axiom provable be definition\\
+a proof is a structured object build from formulae, according to constraints established by a set of axioms and rules of inference.
+
+Arcavi et al.\cite[p. 56]{arcavi1998teaching}''Work in cognitive science\cite{mcleod1992research} has shown that students' beliefs about the nature of a subject may have profound effects on their learning of it % (McLeod 1992) Research of affect in mathmatics education: A reconceptualization In Doublas A. Grouws (Ed.) Handbook of research on mathematics teaching and learning [pp. 575-596 NY Macmillan]
+
+One approach to teaching students to generalize is used by Schoenfeld (page 60 and earlier), who teaches his students heuristics, including one from Polya, about problems with fewer requirements 
+
+Researchers have noticed that students, having learned procedures, have not necessarily learned to apply them. 
+Cipra 1995 UME Trends The bumpy road to reform 
+Culotta 1992 The calculus of education reform science 255
\ No newline at end of file
diff --git a/ch5.tex b/ch5.tex
index d1b70c9..d41d666 100644
--- a/ch5.tex
+++ b/ch5.tex
@@ -6,6 +6,8 @@ Booth states\cite{booth2001learning} "The results are communicated as
 descriptions of the essential aspects of each category, illustrated by pertinent
 extracts from the data".
 
+In this section we give the results of the analysis: categories, a dimension of variation for the inclusion of component aspects of conceptualization, a dimension of variation in the nature of depth of understanding and critical aspects associated with the dimensions of variation.
+
 \section{Criteria for Results}
 
 Marton and Booth\cite[p. 125]{marton1997learning} give criteria for the quality of a set of descriptive categories.
@@ -41,6 +43,73 @@ We are looking for ways of experiencing, for example, one way is, proofs only ap
 \section{What do students think a proof is?}
 
 
+The categories of description for what students think a proof is are listed in Table \ref{table:catsQ1}. 
+
+\begin{table}
+\label{table:catsQ1} 
+ \caption{Categories of Description for: what a proof is}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline List of Known Facts & List of Warranted Facts & Warrants\\ 
+\hline List of Warranted Facts & Means of Discovery & Tool rather than\\  & & demonstration to teachers\\ \hline
+\end{tabular}
+ \end{table}
+ 
+The dimension of variation for aspect inclusion is illustrated in Table \ref{dim1Q1}.
+
+\begin{table}
+\label{dim1Q1} 
+\caption{Dimension of Variation for Component Inclusion for: what a proof is}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline Attempts at statements & Statements (well-formulated) & mathematical formulation\\
+\hline Statements (well-formulated) & List of Warranted Statements & Warrants\\ 
+\hline List of Warranted Statements & Process of Transformation & purposive change\\ \hline Process of Transformation & Arrival at Goal & problem-solving\\\hline
+
+\end{tabular}
+\end{table}
+ 
+The dimension of variation for depth of understanding is illustrated in Table \ref{dim2Q1}.
+
+\begin{table}
+\label{dim2Q1} 
+\caption{Dimension of Variation for Depth of Understanding for: what a proof is}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline procedure Including steps & class of allowed steps where warrants control membership and definitions control availability of warrants & Definitions and Warrants\\ 
+\hline class of allowed steps where warrants control membership and definitions control availability of warrants  & structure and subgoals & divide and conquer\\  & & demonstration to teachers\\
+\hline structure and subgoals & abstraction & analogy making, generalization \\\hline
+
+\end{tabular}
+\end{table}
+
+The critical factors for components of what students think a proof is are listed in Table \ref{cf1Q1}
+
+\begin{table}
+\label{cf1Q1} 
+\caption{Critical Factors for Component Inclusion for: what a proof is}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline  &  & \\ 
+\hline  &  & \\
+  & &  \\ \hline
+\end{tabular}
+\end{table}
+
+The critical factors for depth of understanding of what students think a proof is are listed in Table \ref{cf2Q1}.
+
+\begin{table}
+\label{cf2Q1} 
+\caption{Critical Factors for Depth of Understanding for: what a proof is}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline   &   &  \\ 
+\hline   &   &  \\
+  & &  \\ \hline
+\end{tabular}
+\end{table}
+ 
+
 Some students, when asked what they think a proof is, will report that they think it is a list of true mathematically formulated statements, demonstrating the truth of a mathematically formulated statement. Some students report that a proof has a goal, a statement to be proved true.
 Some students know that the identified goal does not have to be known to be true in advance of the first proof.
 
@@ -69,39 +138,164 @@ Some of these students have not yet acquired the perspective that proving theore
 \centering
 \includegraphics[width=0.7\linewidth]{/home/theresesmith/Documents/2015Fall/Research/Thesis/whatThemes}
 \caption{Conceptualizations found for what a proof is}
-\label{fig:whatThemes}
+\label{fig:whatThemes1}
 \end{figure}
+%\begin{table}
+% \caption{Critical factors for what a proof is}
+%\begin{tabular}{|c|c|c|}
+%\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+%\hline List of Known Facts & List of Warranted Facts & Warrants\\ 
+%\hline List of Warranted Facts & Means of Discovery & Tool rather than\\  & & demonstration to teachers\\ \hline
+%\end{tabular}
+% \end{table}
+
+\newpage
+\section{How do students approach understanding a proof?}
+
+The categories of description for How do students approach understanding are listed in Table \ref{catsQ2}. 
+
 \begin{table}
- \caption{Critical factors for what a proof is}
+\label{catsQ2} 
+ \caption{Categories of Description for: How do students approach understanding}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline   &   &  \\ 
+\hline   &   &  \\    \hline
+\end{tabular}
+ \end{table}
+ 
+The dimension of variation for aspect inclusion is illustrated in Table \ref{dim1Q2}.
+
+\begin{table}
+\label{dim1Q2} 
+\caption{Dimension of Variation for Component Inclusion  for: How do students approach understanding}
 \begin{tabular}{|c|c|c|}
 \hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
 \hline List of Known Facts & List of Warranted Facts & Warrants\\ 
 \hline List of Warranted Facts & Means of Discovery & Tool rather than\\  & & demonstration to teachers\\ \hline
 \end{tabular}
- \end{table}
+\end{table}
+ 
+The dimension of variation for depth of understanding is illustrated in Table \ref{dim2Q2}.
+
+\begin{table}
+\label{dim2Q2} 
+\caption{Dimension of Variation for Depth of Understanding for: How do students approach understanding}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline List of Known Facts & List of Warranted Facts & Warrants\\ 
+\hline List of Warranted Facts & Means of Discovery & Tool rather than\\  & & demonstration to teachers\\ \hline
+\end{tabular}
+\end{table}
+
+The critical factors for components of How do students approach understanding are listed in Table \ref{cf1Q2}
+
+\begin{table}
+\label{cf1Q2} 
+\caption{Critical Factors for Component Inclusion for: How do students approach understanding}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline List of Known Facts & List of Warranted Facts & Warrants\\ 
+\hline List of Warranted Facts & Means of Discovery & Tool rather than\\  & & demonstration to teachers\\ \hline
+\end{tabular}
+\end{table}
+
+The critical factors for depth of understanding of How do students approach understanding are listed in Table \ref{cf2Q2}.
+
+\begin{table}
+\label{cf2Q2} 
+\caption{Critical Factors for Depth of Understanding for: How do students approach understanding}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline List of Known Facts & List of Warranted Facts & Warrants\\ 
+\hline List of Warranted Facts & Means of Discovery & Tool rather than\\  & & demonstration to teachers\\ \hline
+\end{tabular}
+\end{table}
+
 
-\newpage
-\section{How do students approach understanding a proof?}
 Those students who felt they understood some proofs approached them by checking whether they felt each line of a proof was true.
 Some of these mentioned that a statement should be warranted by previous statements.
 
 \begin{figure}[h]
 \centering
 \includegraphics[width=0.7\linewidth]{/home/theresesmith/Documents/2015Fall/Research/Thesis/howThemes}
-\caption{Conceptualizations of how to comprehend a proof}
-\label{fig:howThemes}
+\caption{Student Conceptualizations of How to Comprehend a Proof}
+\label{fig:howThemes2}
 \end{figure}
+ 
+
+\newpage
+\section{What do students think  a proof is for?}
+
+The categories of description for what students think a proof is for are listed in Table \ref{catsQ3}. 
+
 \begin{table}
- \caption{Critical factors for what a proof is}
+\label{catsQ3} 
+ \caption{Categories of Description for: What a proof is for}
 \begin{tabular}{|c|c|c|}
 \hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
-\hline List of Known Facts & List of Warranted Facts & Warrants\\ 
-\hline List of Warranted Facts & Means of Discovery & Tool rather than\\  & & demonstration to teachers\\ \hline
+\hline Pointless  & Understand proofs about resource utilization  &  \\ 
+\hline Understand proofs about resource utilization  &  Demonstrate correctness of previously designed algorithms &  \\ 
+\hline Demonstrate correctness of previously designed algorithms & Show where modification to algorithm might occur to be proved & \\
+\hline Show where modification to algorithm might occur to be proved & Explore possibilities for algorithms & \\
+  \hline
 \end{tabular}
  \end{table}
+ 
+The dimension of variation for component inclusion is illustrated in Table \ref{dim1Q3}.
 
-\newpage
-\section{What do students think  a proof is for?}
+\begin{table}
+\label{dim1Q3} 
+\caption{Dimension of Variation for Component Inclusion for: what a proof is for}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline checking algorithms (ascertaining)  & explaining algorithms (persuading)  &  \\ 
+\hline explaining algorithms (persuading)   & designing algorithms  &  \\
+   \hline
+\end{tabular}
+\end{table}
+ 
+The dimension of variation for depth of understanding is illustrated in Table \ref{dim2Q3}.
+
+\begin{table}
+\label{dim2Q3} 
+\caption{Dimension of Variation for Depth of Understanding for: what a proof is for }
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline reiterate what is known  & clarifying what was not obvious  &  \\ 
+\hline clarifying what was not obvious  & exploration of possibilities of improvement (bounds)  &  \\ 
+\hline exploration of possibilities of improvement (bounds) & guiding algorithm development &\\
+   \hline
+\end{tabular}
+\end{table}
+
+The critical factors for components of what students think a proof is for are listed in Table \ref{cf1Q3}
+
+\begin{table}
+\label{cf1Q3} 
+\caption{Critical Factors for Component Inclusion for: what a proof is for }
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline   &   & Warrants\\ 
+\hline   &   &  \\    \hline
+\end{tabular}
+\end{table}
+
+special purpose tool\\
+general purpose transformation of representation, to elucidate connections between ideas\\
+means of translation to most helpful representation
+
+The critical factors for depth of understanding of what students think a proof is are listed in Table \ref{cf2Q3}.
+
+\begin{table}
+\label{cf2Q3} 
+\caption{Critical Factors for Depth of Understanding for: what a proof is for}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline   &   &  \\ 
+\hline   &   &  \\    \hline
+\end{tabular}
+\end{table}
 Some students think that proofs are not applicable to what they do. They think they do not need to know it. Because they do not need to know it, they logically conclude that learning to produce a "proof" procedurally is enough, because, it earns full credit.
 
 Some students combine the learning about proof with the subject matter that is used to exercise proof techniques; they think proof is for demonstrating facts about numbers.
@@ -123,19 +317,71 @@ Some students felt that proof was for finding out that a mathematical expression
 \centering
 \includegraphics[width=0.7\linewidth]{/home/theresesmith/Documents/2015Fall/Research/Thesis/whyThemes}
 \caption{Conceptualizations about why to study proofs}
-\label{fig:whyThemes}
+\label{fig:whyThemes3}
 \end{figure}
+ 
+
+\newpage
+\section{What do students use proof for, when not assigned?}
+The categories of description for what students do students use proof for, when not assigned? are listed in Table \ref{catsQ4}. 
+
 \begin{table}
- \caption{Critical factors for what a proof is}
+\label{catsQ4} 
+ \caption{Categories of Description for: do students use proof for, when not assigned?}
 \begin{tabular}{|c|c|c|}
 \hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
-\hline List of Known Facts & List of Warranted Facts & Warrants\\ 
-\hline List of Warranted Facts & Means of Discovery & Tool rather than\\  & & demonstration to teachers\\ \hline
+\hline   &   &  \\ 
+\hline   &   &  \\    \hline
 \end{tabular}
  \end{table}
+ 
+The dimension of variation for component inclusion is illustrated in Table \ref{dim1Q4}.
 
-\newpage
-\section{What do students use proof for, when not assigned?}
+\begin{table}
+\label{dim1Q4} 
+\caption{Dimension of Variation for Component Inclusion for: do students use proof for, when not assigned?}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline   &   &  \\ 
+\hline   &   &  \\    \hline
+\end{tabular}
+\end{table}
+ 
+The dimension of variation for depth of understanding is illustrated in Table \ref{dim2Q4}.
+
+\begin{table}
+\label{dim2Q4} 
+\caption{Dimension of Variation for Depth of Understanding for: do students use proof for, when not assigned?}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline   &   &  \\ 
+\hline   &   &  \\   \hline
+\end{tabular}
+\end{table}
+
+The critical factors for components of do students use proof for, when not assigned? are listed in Table \ref{cf1Q4}
+
+\begin{table}
+\label{cf1Q4} 
+\caption{Critical Factors for Component Inclusion for: do students use proof for, when not assigned?}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline   &   &  \\ 
+\hline   &   &  \\    \hline
+\end{tabular}
+\end{table}
+
+The critical factors for depth of understanding of do students use proof for, when not assigned? are listed in Table \ref{cf2Q4}.
+
+\begin{table}
+\label{cf2Q4} 
+\caption{Critical Factors for Depth of Understanding for: do students use proof for, when not assigned?}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline   &   &  \\ 
+\hline   &   &  \\    \hline
+\end{tabular}
+\end{table}
 Some students claim they never use proofs when not assigned.
 
 It is not the case that any student, even when prompted, said they chose to carry out a proof without being directed to do so.
@@ -143,11 +389,130 @@ This could easily be due to a misunderstanding of the definition of proof.
 
 \newpage
 \section{Do students exhibit any consequence of inability in proof?}
+The categories of description for Do students exhibit any consequence of inability in proof? are listed in Table \ref{catsQ5}. 
+
+\begin{table}
+\label{catsQ5} 
+ \caption{Categories of Description for: Do students exhibit any consequence of inability in proof?}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline   &   &  \\ 
+\hline   &   &  \\    \hline
+\end{tabular}
+ \end{table}
+ 
+The dimension of variation for component inclusion is illustrated in Table \ref{dim1Q5}.
+
+\begin{table}
+\label{dim1Q5} 
+\caption{Dimension of Variation for Component Inclusion for: Do students exhibit any consequence of inability in proof?}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline   &   &  \\ 
+\hline   &   &  \\    \hline
+\end{tabular}
+\end{table}
+ 
+The dimension of variation for depth of understanding is illustrated in Table \ref{dim2Q5}.
+
+\begin{table}
+\label{dim2Q5} 
+\caption{Dimension of Variation for Depth of Understanding for: Do students exhibit any consequence of inability in proof?}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline   &   &  \\ 
+\hline   &   &  \\    \hline
+\end{tabular}
+\end{table}
+
+The critical factors for components of Do students exhibit any consequence of inability in proof? are listed in Table \ref{cf1Q5}
+
+\begin{table}
+\label{cf1Q5} 
+\caption{Critical Factors for Component Inclusion for: Do students exhibit any consequence of inability in proof?}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline   &   &  \\ 
+\hline   &   &  \\    \hline
+\end{tabular}
+\end{table}
+
+The critical factors for depth of understanding of what students think a proof is are listed in Table \ref{cf2Q5}.
+
+\begin{table}
+\label{cf2Q5} 
+\caption{Critical Factors for Depth of Understanding for: Do students exhibit any consequence of inability in proof?}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline   &   &  \\ 
+\hline   &   &  \\    \hline
+\end{tabular}
+\end{table}
 Some students said that they knew how to craft recursive procedures, and enjoyed doing so when assigned problems designated as suitable for recursive implementations.
 Some students said they did not employ recursive procedures in situations without a designation that recursive procedures were appropriate. They claimed not to be able to tell when recursive procedures were applicable.
 
 \newpage
 \section{What kind of structure do students notice in proofs?}
+The categories of description for What kind of structure do students notice in proofs? are listed in Table \ref{catsQ6}. 
+
+\begin{table}
+\label{catsQ6} 
+ \caption{Categories of Description for: What kind of structure do students notice in proofs?}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline   &   &  \\ 
+\hline   &   &  \\    \hline
+\end{tabular}
+ \end{table}
+ 
+The dimension of variation for component inclusion is illustrated in Table \ref{dim1Q6}.
+
+\begin{table}
+\label{dim1Q6} 
+\caption{Dimension of Variation for Component Inclusion for: What kind of structure do students notice in proofs?}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline List of Known Facts & List of Warranted Facts & Warrants\\ 
+\hline List of Warranted Facts & Means of Discovery & Tool rather than\\  & & demonstration to teachers\\ \hline
+\end{tabular}
+\end{table}
+ 
+The dimension of variation for depth of understanding is illustrated in Table \ref{dim2Q6}.
+
+\begin{table}
+\label{dim2Q6} 
+\caption{Dimension of Variation for Depth of Understanding for: What kind of structure do students notice in proofs?}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline   &   & Warrants\\ 
+\hline   &   &  \\   \hline
+\end{tabular}
+\end{table}
+
+The critical factors for components of What kind of structure do students notice in proofs? are listed in Table \ref{cf1Q6}
+
+\begin{table}
+\label{cf1Q6} 
+\caption{Critical Factors for Component Inclusion for: What kind of structure do students notice in proofs?}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline   &   &  \\ 
+\hline   &   &  \\    \hline
+\end{tabular}
+\end{table}
+
+The critical factors for depth of understanding of What kind of structure do students notice in proofs? are listed in Table \ref{cf2Q6}.
+
+\begin{table}
+\label{cf2Q6} 
+\caption{Critical Factors for Depth of Understanding for: What kind of structure do students notice in proofs?}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline   &   &  \\ 
+\hline   &   &  \\   \hline
+\end{tabular}
+\end{table}
+
 Some students think proofs are lists of statements without hierarchical structure.
 Some students have asked what lemma means.
 Some students knew that lemmas were built for use in larger proofs.
@@ -155,6 +520,66 @@ Some students were interested to hear about Dr. Lamport's structure in proofs.
 
 \newpage
 \section{What do students think it takes to make an argument valid?}
+
+The categories of description for What do students think it takes to make an argument valid? are listed in Table \ref{catsQ7}. 
+
+\begin{table}
+\label{catsQ7} 
+ \caption{Categories of Description for: What do students think it takes to make an argument valid?}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline   &   &  \\ 
+\hline   &   &  \\    \hline
+\end{tabular}
+ \end{table}
+ 
+The dimension of variation for component inclusion is illustrated in Table \ref{dim1Q7}.
+
+\begin{table}
+\label{dim1Q7} 
+\caption{Dimension of Variation for Component Inclusion for: What do students think it takes to make an argument valid?}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline   &   &  \\ 
+\hline   &   &  \\    \hline
+\end{tabular}
+\end{table}
+ 
+The dimension of variation for depth of understanding is illustrated in Table \ref{dim2Q7}.
+
+\begin{table}
+\label{dim2Q7} 
+\caption{Dimension of Variation for Depth of Understanding for: What do students think it takes to make an argument valid?}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline   &   &  \\ 
+\hline   &   &  \\   \hline
+\end{tabular}
+\end{table}
+
+The critical factors for components of What do students think it takes to make an argument valid? are listed in Table \ref{cf1Q7}
+
+\begin{table}
+\label{cf1Q7} 
+\caption{Critical Factors for Component Inclusion for: What do students think it takes to make an argument valid?}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline   &   &  \\ 
+\hline   &   &  \\   \hline
+\end{tabular}
+\end{table}
+
+The critical factors for depth of understanding of What do students think it takes to make an argument valid? are listed in Table \ref{cf2Q7}.
+
+\begin{table}
+\label{cf2Q7} 
+\caption{Critical Factors for Depth of Understanding for: What do students think it takes to make an argument valid?}
+\begin{tabular}{|c|c|c|}
+\hline Lesser Conceptualization & Better Conceptualization & Critical Factor\\ \hline
+\hline   &   &  \\ 
+\hline   &   &  \\    \hline
+\end{tabular}
+\end{table}
 Some students, when prompted about rules of inference, felt that when all statement transformations were warranted, an argument was valid.
 Some students stated that, when the target of the proof was true, the proof was valid, converse error.
 
@@ -167,7 +592,7 @@ We organize our overview of results beginning from an ideal Hilbert-axiomatic st
 \centering
 \includegraphics[width=0.7\linewidth]{/home/theresesmith/Documents/2015Fall/Research/Thesis/valid}
 \caption{Conceptualizations about validity of proofs}
-\label{fig:validityThemes}
+\label{fig:validityThemes1}
 \end{figure}
 \begin{table}
  \caption{Critical factors for what a (valid) proof is}
diff --git a/ch6.tex b/ch6.tex
index 4a29882..4bad6f3 100644
--- a/ch6.tex
+++ b/ch6.tex
@@ -1,5 +1,8 @@
 \chapter{Interpretation/Discussion}
 
+In this chapter we consider the results summarized in the previous chapter. We consider alternate dimensions of variation, comparing them with the chosen. 
+We consider alternate critical factors, both along alternate dimensions of variation, but also along the proposed dimensions of variation.
+
 \section{Interpretation}
 
 \subsubsection{Interpretation of What Students Think Proofs Are}
@@ -19,7 +22,7 @@ Some students know that proofs use logical statements when warranted.
 Students do not always attempt to understand proofs they are shown.
 "people have trouble with they see a proof, they see it, that's a theorem, that's a proof, that's true, i believe it, they don't look to see how is it a proof, everyone understands when you're staring at the screen, my recursion should work, my mathematical reduction works, but it's the steps in between that no one has an idea about, it's like a bridge, you start at a, you get to c, but b is the journey, and everyone skips that, they understand a, c but they don't"
 
- "while knowing what they can and can't do through proofs is of course important i just keep saying it get's a bit confusing in this class, nebulous sometimes"
+ "while knowing what they can and can't do through proofs is of course important i just keep saying it gets a bit confusing in this class, nebulous sometimes"
  
   "the biggest thing that changed in my proof writing in the math side i didn't really have a good understanding of logical statements, like an if and only if"
 
@@ -723,7 +726,22 @@ always appreciated.
 \section{Critical Factors}
 To determine critical factors, we can convert negative categories into achievement
 levels.
-\begin{tabular}{p{3cm}p{3cm}}
+\begin{longtable}{|p{7cm}|p{8.5cm}|}\hline
+ 
+ \endfirsthead
+ 
+ \multicolumn{2}{c}%
+ {{\bfseries \tablename\ \thetable{} -- continued from previous page}} \\
+ \hline \multicolumn{1}{|c|}{\textbf{Category}} &
+ \multicolumn{1}{c|}{\textbf{Achievement Levels}}  \\ \hline 
+ \endhead
+ 
+ \hline \multicolumn{2}{|r|}{{Continued on next page}} \\ \hline
+ \endfoot
+ 
+ \hline \hline
+ \endlastfoot
+%\begin{tabular}{p{6cm}p{8cm}}
 Categories & Achievement Levels\\
 The idea of a false statement
 sometimes becomes troublesome
@@ -764,10 +782,26 @@ is not always appreciated.&\\
 with authentic (career related)
 examples\\
  
-\end{tabular}
+%\end{tabular}
+\end{longtable}
 
 Using the achievement levels we can infer critical factors.
-\begin{tabular}{p{3cm}p{3cm}}
+\begin{longtable}{|p{7cm}|p{8.5cm}|}\hline
+ 
+ \endfirsthead
+ 
+ \multicolumn{2}{c}%
+ {{\bfseries \tablename\ \thetable{} -- continued from previous page}} \\
+ \hline \multicolumn{1}{|c|}{\textbf{Achievement Levels}} &
+ \multicolumn{1}{c|}{\textbf{Critical Factors}}  \\ \hline 
+ \endhead
+ 
+ \hline \multicolumn{2}{|r|}{{Continued on next page}} \\ \hline
+ \endfoot
+ 
+ \hline \hline
+ \endlastfoot
+%\begin{tabular}{p{3cm}p{3cm}}
 Achievement Levels& Critical Factors\\
 True and false make sense, and
 we can make arguments using
@@ -802,7 +836,8 @@ with authentic (career related)
 examples.&\\
 & Authentic applications show the
 use of this knowledge.\\
-\end{tabular}
+%\end{tabular}
+\end{longtable}
 
 
 \subsection{Abstraction}
diff --git a/duplicated.bib b/duplicated.bib
new file mode 100644
index 0000000..42b08eb
--- /dev/null
+++ b/duplicated.bib
@@ -0,0 +1,114 @@
+% @article{thune2009variation,
+%  title={Variation theory applied to students’ conceptions of computer programming},
+%  author={Thun{\'e}, Michael and Eckerdal, Anna},
+%  journal={European Journal of Engineering Education},
+%  volume={34},
+%  number={4},
+%  pages={339--347},
+%  year={2009},
+%  publisher={Taylor \& Francis}
+% }
+
+% @article{marton2005unit,
+%  title={On the unit of description in phenomenography},
+%  author={Marton, Ference and Pong, Wing Yan},
+%  journal={Higher Education Rresearch \& Development},
+%  volume={24},
+%  number={4},
+%  pages={335--348},
+%  year={2005},
+%  publisher={Taylor \& Francis}
+% }
+%@article{hazzan2003students,
+%  title={How students attempt to reduce abstraction in the learning of %mathematics and in the learning of computer science},
+%  author={Hazzan, Orit},
+%  journal={Computer Science Education},
+%  volume={13},
+%  number={2},
+%  pages={95--122},
+%  year={2003},
+%  publisher={Taylor \& Francis}
+%}
+%@book{marton1997learning,
+%  title={Learning and awareness},
+%  author={Marton, Ference and Booth, Shirley A},
+%  year={1997},
+%  publisher={Routledge}
+%}
+%@article{svensson1997theoretical,
+%  title={Theoretical foundations of phenomenography},
+%  author={Svensson, Lennart},
+%  journal={Higher Education Research \& Development},
+%  volume={16},
+%  number={2},
+%  pages={159--171},
+%  year={1997},
+%  publisher={Taylor \& Francis}
+%}
+@article{marton2005unit,
+  title={On the unit of description in phenomenography},
+  author={Marton, Ference and Pong, Wing Yan},
+  journal={Higher education research \& development},
+  volume={24},
+  number={4},
+  pages={335--348},
+  year={2005},
+  publisher={Taylor \& Francis}
+}
+@article{weber2004traditional,
+  title={Traditional instruction in advanced mathematics courses: A case study of one professor’s lectures and proofs in an introductory real analysis course},
+  author={Weber, Keith},
+  journal={The Journal of Mathematical Behavior},
+  volume={23},
+  number={2},
+  pages={115--133},
+  year={2004},
+  publisher={Elsevier}
+}
+@article{hazzan2003students,
+  title={How students attempt to reduce abstraction in the learning of mathematics and in the learning of computer science},
+  author={Hazzan, Orit},
+  journal={Computer Science Education},
+  volume={13},
+  number={2},
+  pages={95--122},
+  year={2003},
+  publisher={Taylor \& Francis}
+}
+@book{Mattuck,
+author={Mattuck, Arthur},
+year={1999},
+title={Introduction to Analysis},
+publisher={Prentice Hall}
+}
+@article{svensson1997theoretical,
+  title={Theoretical foundations of phenomenography},
+  author={Svensson, Lennart},
+  journal={Higher Education Research \& Development},
+  volume={16},
+  number={2},
+  pages={159--171},
+  year={1997},
+  publisher={Taylor \& Francis}
+}
+@article{moore1994making,
+  title={Making the transition to formal proof},
+  author={Moore, Robert C},
+  journal={Educational Studies in mathematics},
+  volume={27},
+  number={3},
+  pages={249--266},
+  year={1994},
+  publisher={Springer},
+  annote={costs money}
+}
+@article{marton1981phenomenography,
+  title={Phenomenography -— describing conceptions of the world around us},
+  author={Marton, Ference},
+  journal={Instructional science},
+  volume={10},
+  number={2},
+  pages={177--200},
+  year={1981},
+  publisher={Springer}
+}
diff --git a/thesis4Through6.tex b/thesis4Through6.tex
new file mode 100644
index 0000000..a3af39c
--- /dev/null
+++ b/thesis4Through6.tex
@@ -0,0 +1,79 @@
+%%%---- Do not adjust ----%%%
+\documentclass[12pt,oneside]{book}
+\input{preamble.tex}
+%%%-----------------------%%%
+
+%Add your data to the following commands.
+%%%%%%%%%%%%%%%%%%%%%
+\newcommand{\mythesistitle}{Categories of Conceptions of Proofs by\\Students of Computer Science}
+\newcommand{\myname}{Th\'er\`ese Mary Smith}
+\newcommand{\myyear}{2016}
+\newcommand{\degreeone}{S.B. Physics, Massachusetts Institute of Technology, Cambridge,
+Massachusetts, USA, 1975}
+\newcommand{\degreeoneshort}{S.B.\ Physics}
+\newcommand{\degreetwo}{M.S. Biomedical Engineering, Iowa State University of Science and
+Technology, Ames, Iowa, USA, 1982}
+\newcommand{\degreetwoshort}{M.S.\ BME}
+\newcommand{\degreethree}{M.S. Computer Science and Engineering, University of Connecticut, Storrs,
+Connecticut, USA, 2014}
+\newcommand{\degreethreeshort}{M.S.\ CSE}
+\newcommand{\majoradvisor}{Robert McCartney}
+\newcommand{\associateone}{Sanguthevar Rajasekaran}
+\newcommand{\associatetwo}{Jinbo Bi}
+%%%%%%%%%%%%%%%%%%%%%
+
+%%%---- Do not adjust ----%%%
+\begin{document}
+\input{frontmatter.tex}
+\singlespacing
+\tableofcontents
+\listoffigures %tms20151102
+\listoftables%tms20151102
+\thispagestyle{plain}
+\mainmatter
+\doublespacing
+%%%-----------------------%%%
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+%%%---- Input content ----%%%
+%\input{ch1.tex} %intro
+\input{emptyChapter.tex} %spacer
+%\input{ch2.tex} %research perspective and epistemological framework
+\input{emptyChapter.tex} %spacer
+%\input{ch3.tex} %methodology 
+\input{emptyChapter.tex} %spacer
+\input{ch4.tex} % analysis
+\input{ch5.tex} %results
+\input{ch6.tex} %interpretation/discussion
+%\input{ch7.tex} %validity and reliability
+%\input{ch8.tex} %related work
+%\input{ch9.tex} %conclusions
+%\input{ch10.tex} %future work
+%\input{ch11.tex} %
+%\input{TODOs.tex}
+%... etc.
+%%%-----------------------%%%
+
+\newpage
+\addcontentsline{toc}{chapter}{Bibliography}
+\bibliography{literature,literatureClickersTheory,literatureFIE,literatureproof,literatureQualRes,literatureQualRes2,literatureQualRes3,literatureQualRes4,literatureQualRes5,literatureQualRes6,litMathPhenom,litSEEval,litSEQual,litVertical2} %{}
+\bibliographystyle{amsplain}
+\newpage
+%\appendix{Materials}
+%\input{materials.tex}
+%\newpage
+%\appendix{Incoming Assessment for Object Oriented Software}
+%\input{incomingOO.tex}
+%\newpage
+\appendix{Incoming Assessment for Discrete Math}
+\input{QlistCSE2500.tex}
+%\newpage
+%\appendix{Incoming Assessment for Algorithms}
+%\input{incomingAlgos.tex}
+%\newpage
+%\appendix{Incoming Assessment for Introduction to the Theory of Computation}
+%\input{incomingTheory.tex} %in which proofs of correctness of resource util.
+\end{document}
\ No newline at end of file
diff --git a/thesisThrough6.pdf b/thesisThrough6.pdf
new file mode 100644
index 0000000..fa32703
Binary files /dev/null and b/thesisThrough6.pdf differ