Abstract: This paper give a brief overview of the principles underlying the proof theoretic approach to irrelevance and of its applications. Good starting point paper for the work on relevance.