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