. . "Logical consequence" . "Logical consequence" .