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 -