S == 
F
S.H.a |= F & FS.C.a | FS:Sequent, a:Assignment. Dec(a | S)a:Assignment, S:Sequent. SqStable(a | S)
| def | sequent_falsifiable | a | S == FS.H.a |= F & FS.C.a | F |
| THM | decidable__sequent_falsifiable | S:Sequent, a:Assignment. Dec(a | S) |
| THM | sq_stable__sequent_falsifiable | a:Assignment, S:Sequent. SqStable(a | S) |