6 ms·Isolation Lemma5 points by andersource 3y agoChainOfFools 3y agoFor the middle brow CS casuals like myself, is this conceptually adjacent to constructing a proof by contradiction?