181 \begin{tabular}{@{}ll@{}}

   181 \begin{tabular}{@{}ll@{}}

   182 (1) & \bl{$P\;\text{says}\;F_1 \wedge Q\;\text{says}\;F_2 \vdash P\;\text{says}\;F_1 \wedge Q\;\text{says}\;F_2$}

   182 (1) & \bl{$P\;\text{says}\;F_1 \wedge Q\;\text{says}\;F_2 \vdash P\;\text{says}\;F_1 \wedge Q\;\text{says}\;F_2$}

   183 \end{tabular}

   183 \end{tabular}

   184 \end{center}

   184 \end{center}

   185 

   185 

   187 

   187 

   188 \begin{center}

   188 \begin{center}

   189 \begin{tabular}{@{}ll@{}}

   189 \begin{tabular}{@{}ll@{}}

   190 (2) & \bl{$P\;\text{says}\;F_1 \wedge Q\;\text{says}\;F_2 \vdash P\;\text{says}\;F_1$}\\

   190 (2) & \bl{$P\;\text{says}\;F_1 \wedge Q\;\text{says}\;F_2 \vdash P\;\text{says}\;F_1$}\\

   191 (3) & \bl{$P\;\text{says}\;F_1 \wedge Q\;\text{says}\;F_2 \vdash Q\;\text{says}\;F_2$}\\

   191 (3) & \bl{$P\;\text{says}\;F_1 \wedge Q\;\text{says}\;F_2 \vdash Q\;\text{says}\;F_2$}\\

   192 \end{tabular}

   192 \end{tabular}

   193 \end{center}

   193 \end{center}

   194 

   194 

   196 

   196 

   197 \begin{center}

   197 \begin{center}

   198 \begin{tabular}{@{}ll@{}}

   198 \begin{tabular}{@{}ll@{}}

   199 \bl{$P\;\text{says}\;F_1 \wedge Q\;\text{says}\;F_2 \vdash Q\;\text{says}\;F_2 \wedge P\;\text{says}\;F_1$}

   199 \bl{$P\;\text{says}\;F_1 \wedge Q\;\text{says}\;F_2 \vdash Q\;\text{says}\;F_2 \wedge P\;\text{says}\;F_1$}

   200 \end{tabular}

   200 \end{tabular}