25             {\Gamma \vdash P \;\textit{controls}\; F & \Gamma \vdash P

    25             {\Gamma \vdash P \;\textit{controls}\; F & \Gamma \vdash P

    26               \;\textit{says}\; F}}\medskip

    26               \;\textit{says}\; F}}\medskip

    27 

    27 

    28 \mbox{\infer{\Gamma \vdash P \;\textit{says}\;F_2}

    28 \mbox{\infer{\Gamma \vdash P \;\textit{says}\;F_2}

    29             {\Gamma \vdash P \;\textit{says}\; (F_1 \Rightarrow F_2) & 

    29             {\Gamma \vdash P \;\textit{says}\; (F_1 \Rightarrow F_2) & 

    31 

    31 

    32 \mbox{\infer{\Gamma \vdash F[x := t]}

    32 \mbox{\infer{\Gamma \vdash F[x := t]}

    33             {\Gamma \vdash \forall x. F}}\medskip

    33             {\Gamma \vdash \forall x. F}}\medskip

    34 

    34 

    35 \mbox{\infer{\Gamma \vdash F_1 \wedge F_2}

    35 \mbox{\infer{\Gamma \vdash F_1 \wedge F_2}