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