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