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