A Proof of Self-Proof; 7 of 15

        Some Tables

D  =  not prv D  =  poss not D = poss S  =  poss T  =  not prv F

S  =  not poss S  =  prv not S  =  prv D  =  prv F  =  not poss T

P  =  poss P  =  not prv not P = not prv T  =  poss F  =  F

T  =  prv T =  not poss not T =  not poss P  =  prv T  =  T

X       |         not X           prv X           poss X         not prv X     not poss X

_____|________________________________________________________

T        |         P                  T                  D                 P                  S

D       |          S                  S                  D                 D                 S

S        |         D                 S                  D                 D                 S

P        |         T                  S                  P                  D                 T