All the proof theory books seem to use sequent calculus. Why can't they use the more natural system where proofs are just lists of statements which are either axioms of follow from the previous ones from MP?
Seems like it would be much simpler and natural. It's a pain in the ass to memorize all the LK rules.