About folding-unfolding cuts and cuts modulo (the quest for a theory independent notion of cut). The purpose of this talk is to compare the notion of cut with lambda-introduction and lambda-elimination rules proposed by Prawitz and the notion of cut in deduction modulo. As a more long term perspective, we shall discuss if it is possible to define a general notion of cut, independently of any particular theory.