+\subsubsection{Preflight checks}
+The we do the preflight checks as defined in Table~\ref{tbl:preflight}.
+
+\subsubsection{Test Cases}
+If the SUT passes the preflight checks the actual test cases can be executed.
+Table~\ref{tbl:testcases} shows the expected results of each of the test cases
+described in Table~\ref{tbl:testpairs}.
+
+\setcounter{TCC}{1}
+\begin{table}[H]
+ \centering
+ \begin{tabular}{|l|p{.7\linewidth}|}
+ \hline
+ Test number & Expected results\\
+ \hline\hline
+ \doTCC & An ACK\# of the sequence number of the SYN packet + 1. \\ \hline
+ \doTCC & An ACK\# of the send sequence number + 1.\\ \hline
+ \doTCC & An ACK\# of the sequence number of the last send segment + the
+ size of the payload of that segment.\\ \hline
+ \doTCC & An ACK\# of the sequence number of the last send segment + the
+ size of the payload of that segment.\\ \hline
+ \doTCC & An ACK\# of the sequence number of the last send segment + the
+ size of the payload of that segment.\\ \hline
+ \doTCC & An ACK\# of the sequence number of the swapped packet with the lowest sequence number. \\ \hline
+ \doTCC & The ACK\# for the SEQ\# of the first segments which is
+ corrupted is received for each consecutive segment send.\\
+ $\vdots$ & \\
+ \setcounter{TCC}{10}
+ \doTCC & The ACK\# for the SEQ\# of the first segments which is
+ corrupted is received for each consecutive segment send.\\ \hline
+ \doTCC & An ACK\# of the sequence number of the last send segment + the
+ size of the payload of that segment.\\ \hline
+% \doTCC & The segment is not attributed to the current connection
+% and therefore no ACK\# is received. \\ \hline
+% \doTCC & The ACK\# for the SEQ\# of the first segments which is
+% corrupted is received for each consecutive segment send.\\ \hline
+% \doTCC & The ACK\# for the SEQ\# of the first segments which is
+% corrupted is received for each consecutive segment send.\\ \hline
+% \doTCC & The segment is not attributed to the current connection
+% and therefore no ACK\# is received. \\ \hline
+% \doTCC & The ACK\# for the SEQ\# of the first segments which is
+% corrupted is received for each consecutive segment send.\\ \hline
+% \doTCC & The ACK\# for the SEQ\# of the first segments which is
+% corrupted is received for each consecutive segment send.\\ \hline
+% \doTCC & The ACK\# for the SEQ\# of the first segments which is
+% corrupted is received for each consecutive segment send.\\ \hline
+% \doTCC & The ACK\# for the SEQ\# of the first segments which is
+% corrupted is received for each consecutive segment send.\\ \hline
+ \end{tabular}
+\caption{Expected results of test cases}
+\label{tbl:testcases}
+\end{table}
+
+% Bij Ramons afwezigheid
+% Paul Vitero (linkerkant lange gang)
+% verdieping Mercator
+
+