4 ms·I like seeing something along the line of constructive logic in the wild (i.e. not (not p) != p).by Mithriil 1y agoI like seeing something along the line of constructive logic in the wild (i.e. not (not p) != p).