 where the function \(L(Tx \amp Wx, Bx)\) indicates that there is a lawlike connection between the conjunction ‘\(Tx \amp Wx\)’ and ‘\(Bx\)’ but leaves the nature of the connection unspecified. (Canfield &amp; Lehrer 1961, 205)