Having obtained well-behaved proof systems, we now want to utilize them. In this session, we explore how sequent calculi can be applied effectively in logic, mathematics, and beyond.