. "N-implication" . "N-implication" . .