Design, play with, and analyze sequent calculus proof systems.
If you don't know an answer, don't answer it!