sequents sequent no.2 sequent no.1 sequent no.3 sequent no.4 wellspring sequence 1.b sequence 1.c Pan
