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