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