// Table 8.4: Sample Dependent-Variable Introduction Rule P>. S>. (&&,<#x --> P >, <#x --> S>) ? // Fint 4