2 ms·"seems unlikely" isn't really cutting it, when we're talking about formal systems.by timjver 10y ago"seems unlikely" isn't really cutting it, when we're talking about formal systems.