4 ms·

For the middle brow CS casuals like myself, is this conceptually adjacent to constructing a proof by contradiction?