 sequent (Γ ⊢ P) yields (Γ, P)
sequent :: (Ord a, Show a) => Proof a -> ([Term a], Term a)
sequent (Assume a)   = ([a], a)
sequent
sequent :: (Ord a, Show a) => Proof a -> ([Term a], Term a)
sequent (Assume a)   = ([a], a)
sequent (Assume a)   = ([a], a)