fix(proposal): wording in objective

pub/proposal/proposal.tex

@@ -214,7 +214,7 @@ As a result, this will also test the reproducibility of the checklist's goal.
   \item Research current checklists that may be problematic that 
     could be tested
   \item Research how pilots act within certain situations for 
-    the checklists to be tested
+    the checklists that will be tested
   \item Implement a formal model that runs through checklists,
     with the research gathered, to produce an accurate test
     \begin{enumerate}