  This cannot mean, of course, that the elimination rules are deducible from the introduction rules in the literal sense of the word; in fact, they are not. It can only mean that they can be justified by them in some way.