3 ms·I refer to it as "the See Oh Queue theorem proover" at work, which seems to get the idea across.by logicchains 9y agoI refer to it as "the See Oh Queue theorem proover" at work, which seems to get the idea across.