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