3 ms·something something law of excluded middleby GalaxyNova 1y agosomething something law of excluded middle