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