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 -

Reply via email to