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