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