3 ms·Kernel accepts wrong-structure projections, allowing axiom-free proof of False5 points by gopiandcode 2mo ago