13 Sep
2023
13 Sep
'23
8:26 p.m.
similarly if it proves to a special kind of false that involves the whole logic maybe we could simplify proving to always involve the whole logic and then things that [are false -