sequentish: You Didn't Know It, but You Really Want to Learn Sequent Calculus