I read the proof and I'm not fully convinced, so I created a branch which includes a picture as a counterexample. Ok, I saw your counterexample picture. It is convincing me. Let's merge it to main.

welcome back to carneades.org today we're going to be continuing with our series six months of set theory and higher order logic this is logic 301 we are in month number three looking at piano ...

Abstract: In the world of computing, there exists a wide variety of direct and indirect proof techniques for proving new results and propositions. Among the persisting proof techniques, Mathematical ...